Logik/Modell/Maximal widerspruchsfrei/Beispiele/Fakt

Es sei ${}S$ ein Symbolalphabet und ${}I$ eine ${}S$-Interpretation auf einer Menge ${}M$, wobei die Terminterpretation surjektiv sei.

Dann ist die Gültigkeitsmenge ${}\Gamma =I^{\vDash }$ maximal widerspruchsfrei und enthält Beispiele.

Zum Beweis, Alternativen Beweis erstellen