Lemma 14.5
Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Vorlesung 14 Logik/Modell/Maximal widerspruchsfrei/Beispiele/Fakt