Könnte man sagen: Gödel sagt, daß man einem math. Beweis auch muß trauen können, || trauen muß, wenn man ihn, praktisch,
90
als den Beweis seiner Konstruierbarkeit || der Konstruierbarkeit der Satzfigur nach den Beweisregeln auffassen will?
     Oder: Ein math. Satz muß als Satz einer auf sich selbst || sein eigenes Zeichen 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.