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

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.