| | | | | |
Könnte man sagen:
Gödel sagt,
daß man einem math. Bew. auch wenn man ihn
als
den Beweis 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.
| | |