“Sehe ich eine Ordnung, die mich verhindert, unversehens zu einem Widerspruch zu kommen?” Das ist so, wie wenn ich
235
sage: Zeige mir in meiner Technik || in meinem Kalkül eine Ordnung || eine Ordnung in meiner Technik || in meinem Kalkül, die mich überzeugt, daß ich auf diese Weise nicht einmal zu einer Zahl kommen kann, die kleiner als jene Zahl ist. || kann, die kleiner als jene Zahl ist. Ich zeige ihm dann etwa einen Rekursionsbeweis. || Ich zeige ihm dann etwa eine Induktion.