So lange wir nicht feststellen können ob √2 =
√2
555→333
, so lange dürfen wir das neue Zeichen nicht benützen. Oder ob
√2
5→3
= √2 + n (wo n die Differenz von √2 &
√2
5→3
bis zu dem weitest errechneten Punkt ist.) Zu sagen, es könnte aber vielleicht bewiesen werden, daß die Frage, ob
√2
5→3
= √2 + n oder nicht, unentscheidbar sei, ist Unsinn! Der Beweis könnte nur zeigen, daß die Entscheidung nicht aus gewissen gegebenen Prämissen folgt.