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.
