# 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.

## Definition von Modellen

In einer elementaren Sprache $L$ sind die Ausdrücke oder $L$-Formeln über einem Alphabet gebildet, das aus den folgenden Grundzeichen besteht.
* abzählbar viele Individuenvariablen: $x_{1},x_{2},x_{3},\ldots$
* Funktionszeichen: $f_{1},f_{2},f_{3},\ldots$
* Relationszeichen: $R_{1},R_{2},R_{3},\ldots$
* Individuenzeichen: $c_{1},c_{2},c_{3},\ldots$
* logische Zeichen: ¬, ∧, ∨, →, ↔, ∃, ∀, =
* technische Zeichen: (, )
Ist $(A,F^{A},R^{A},C^{A})$ eine algebraische Struktur, dann enthält eine für A geeignete elementare Sprache für jede Funktion $f_{i}^{A}\in F^{A}$ ein Funktionszeichen $f_{i}$, für jede Relation $R_{i}^{A}\in R^{A}$ ein Relationszeichen $R_{i}$ und für jedes Element $c_{i}^{A}\in C^{A}$ ein Individuenzeichen $c_{i}$. Die Signatur der algebraischen Struktur besteht aus den Familien aller Stellenzahlen der Funktions- bzw. Relationszeichen und der aller Individuenzeichen. Stimmt sie mit der Signatur einer elementaren Sprache $L$ überein, dann ist diese geeignet, um Aussagen über die algebraische Struktur zu formulieren. Werden den Funktions-, Relations- und Individuenzeichen entsprechende Funktionen, Relationen bzw. Elemente aus $C^{A}$ zugeordnet, dann ist die Sprache in der Struktur interpretiert.
Terme werden induktiv dadurch definiert, dass Individuenvariablen und Individuenzeichen Terme sind und für Terme $t_{1},\ldots ,t_{n}$ und ein $n$-stelliges Funktionszeichen $f$ auch $f(t_{1},\ldots ,t_{n})$ ein Term ist. Ausdrücke werden ebenfalls induktiv definiert:
    - für Terme $t_{1},\ldots ,t_{n}$ und ein $n$-stelliges Relationszeichen $R$ ist $R(t_{1},\ldots ,t_{n})$ ein Ausdruck
    - Termgleichungen $t_{1}=t_{2}$ sind Ausdrücke
    - sind φ und ψ Ausdrücke, dann sind auch ¬φ, φ ∧ ψ, φ ∨ ψ, φ → ψ, φ ↔ ψ Ausdrücke
    - ist φ ein Ausdruck, in dem die Zeichenreihen ∃x oder ∀x nicht vorkommen, dann sind auch ∃xφ und ∀xφ Ausdrücke.
Aussagen sind Ausdrücke, in denen keine freien Variablen vorkommen. Dabei wird das freie Vorkommen einer Variablen wieder induktiv definiert: die Individuenvariable $x$ kommt in dem Ausdruck φ genau dann frei vor, wenn
    - φ atomar ist und x in φ vorkommt, oder
    - φ die Gestalt ¬ψ besitzt und x in ψ frei vorkommt, oder
    - φ die Gestalt ψ ∧ χ, ψ ∨ χ, ψ → χ oder ψ ↔ χ besitzt und x in ψ oder χ frei vorkommt, oder
    - φ die Gestalt ∃yψ oder ∀yψ besitzt, und x in ψ frei vorkommt und x, y verschiedene Individuenvariablen sind.
Mit A ⊨ φ bezeichnet man die Gültigkeit von φ in der Struktur A. Diese wird wieder induktiv definiert:
    - ist φ eine atomare Aussage, dann ist 𝒜 ⊨ φ schon durch die Interpretation definiert
    - 𝒜 ⊨ ¬φ ⇔ φ gilt nicht in 𝒜
    - 𝒜 ⊨ φ ∧ ψ ⇔ (𝒜 ⊨ φ und 𝒜 ⊨ ψ)
    - 𝒜 ⊨ φ ∨ ψ ⇔ (𝒜 ⊨ φ oder 𝒜 ⊨ ψ)
    - 𝒜 ⊨ φ → ψ ⇔ (wenn 𝒜 ⊨ φ, so 𝒜 ⊨ ψ)
    - 𝒜 ⊨ φ ↔ ψ ⇔ (𝒜 ⊨ φ genau dann, wenn 𝒜 ⊨ ψ)
    - 𝒜 ⊨ ∃xφ(x) ⇔ es gibt ein Element a in 𝒜, so dass 𝒜 ⊨ φ(a),𝒜 ⊨ ∀ xφ(x) ⇔ für alle Elemente a in 𝒜 ist 𝒜 ⊨ φ(a)
Ein Ausdruck $\phi (x_{1},\ldots ,x_{n})$ ist in $A$ gültig, wenn $A\models (a_{1},\ldots ,a_{n})$ für alle Elemente $a_{1},\ldots ,a_{n}\in {\mathcal {A}}$ zutrifft, d. h., wenn die Aussage $\forall x_{1}\ldots \forall x_{n}\phi (x_{1},\ldots ,x_{n})\in {\mathcal {A}}$ gilt. Eine Menge T von Ausdrücken oder Aussagen aus L, die deduktiv abgeschlossen ist, heißt elementare Theorie.
Ist T eine in L formulierte Theorie und 𝒜 eine Struktur für L, d. h., 𝒜 und L besitzen die gleiche Signatur, dann ist 𝒜 ein Modell von T, falls alle Aussagen oder Ausdrücke aus T in 𝒜 gültig sind (in Zeichen 𝒜 ⊨ T).