Der Beweis sagt nicht voraus daß wir an der … ten Stelle die Zahl so & so schreiben werden – das könnte durch Experimente gefunden werden. Sondern er macht es unvorstellbar, daß etwas anderes geschrieben wird, wenn den Regeln nach gerechnet wird.