Modell (Logik)

In der mathematischen Logik ist ein Modell eines Axiomensystems eine mit gewissen Strukturen versehene Menge, auf die die Axiome dieses Systems zutreffen.

Beispielsweise ist die Geometrie der euklidischen Ebene ein Modell des euklidischen Axiomensystems, und falls man auf das Parallelenaxiom verzichtet, ist auch die Geometrie der hyperbolischen Ebene ein Modell des übrigbleibenden Axiomensystems.

Die Existenz eines Modells beweist die Widerspruchsfreiheit eines Axiomensystems. Die Modelltheorie beschäftigt sich damit, welche Modelle es für bestimmte Axiomensysteme gibt.