< Logik < Vollständigkeitssatz < Auffüllung mit Beispielen < Fakt
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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.