Was bedeutet es nun, wenn eine Gleichung aus den Definitionen mit Hilfe
der zugelassenen Übergänge nicht folgte?
Es könnte nur bedeuten, daß die Definitionen ohne Übergänge
unzureichend sind, oder jene Gleichung unsinnig.
Denn daß eine Frage der Mathematik unentscheidbar sei, könnte zweierlei
bedeuten: Entweder, daß unsere gegenwärtigen Mittel zur
Entscheidung nicht ausreichen, obschon die Frage tatsächlich eine
Antwort
hat: dann sind die Mittel schuld; und wir
könnten mit jeder Entscheidung einen Sinn verbinden, wenn wir auch noch
nicht wissen welche fallen wird.
Wir könnten wenigstens
¤ zufälligerweise das Richtige treffen. –
Oder die Frage ist unentscheidbar in dem Sinne, daß ich die Entscheidung,
auch wenn sie mir gegeben würde, nicht
verstehen kann, weil es
keine Einsicht
gibt die sie vermittelt; dann bediene ich
mich einer Sprache die ich nicht verstehe & die ist
unsinnig.