Es scheint hier, als wäre die Wahrheit des
math. Satzes (oder gewisser
math. Sätze) von einer
bestimmten Erfahrung doch unmittelbar abhängig.
Beweist ein
allgemeiner Beweis die
Nichtkonstruierbarkeit einer
Struktur || Zeichenstruktur, so darf diese
wirklich nicht
konstruierbar || erhältlich
sein. Oder auch: es scheint, die
Math.
muß || müsse jedenfalls
auf die
Technik ihres Beweisens praktisch anwendbar sein
&, mit den Erfahrungstatsachen dieser
übereinstimmen.