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