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