Logik/Vollständigkeitssatz/Auffüllung mit Beispielen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir konstruieren die Folgen und sukzessive mit der in Fakt beschriebenen Methode durch

und

Wäre widersprüchlich, so würde sich schon aus einer endlichen Teilmenge ein Widerspruch ergeben. Dann wäre schon eines der widersprüchlich im Widerspruch zu Fakt.