Könnte man sagen: Gödel sagt, daß man einen math. Beweis auch
trauen muß,
muß trauen können,
wenn man ihn, prak-
90
tisch, als den Beweis seiner der Konstruierbarkeit ˇder Satzfigur nach den Beweisregeln auffassen will?
     Oder: Ein math. Satz muß als Satz einer auf
sein eigenes Zeichen
sich selbst
wirklich anwendbaren Geometrie aufgefaßt werden können. Und tut man das so zeigt es sich, daß man sich auf einen Beweis in gewissen Fällen nicht verlassen kann