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 allg. Bew. die [n|N]ichtkonstruierbarkeit einer ˇZeichenStruktur, so darf diese wirklich nicht

erhältlich
konstruierbar

sein. Oder auch: ˇes scheint, die Math. m[uß|üss]e jedenfalls

auf die Technik ihres Beweisens praktisch anwendbar sein &, mit den Erfahrungstatsachen dieser übereinstimmen.