Könnte man sagen: Gödel sagt, daß man einem mathematischen Beweis auch muß trauen können || ¤ trauen muß, wenn man ihn z.B. || praktisch als den Beweis seiner || der Konstruierbarkeit der Satzfigur nach den Beweisregeln auffassen will.
     Oder: Ein math. Satz muß als Satz einer auf sich selbst || seinen Symbolismus wirklich anwendbaren Geometrie
aufgefaßt werden können. Und tut man das, so zeigt es sich, daß man sich auf einen Beweis unter gewissen Umständen nicht verlassen kann.