Zum Inhalt springen

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

Aus Wikiversity
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.