Könnte man sagen: Gödel sagt, daß man einem math. Bew. auch
trauen muß,
◇◇◇
wenn man ihn
praktisch
z.B.
als den Beweis
der
seiner
Konstruierbarkeit der Satzfigur nach den Beweisregeln auffassen will.
   Oder: Ein math Satz muß als Satz einer auf
seinen Symbolismus
sich selbst
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.