/  
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[|üss]e jedenfalls
auf die Technik ihres Beweisens praktisch anwendbar sein &, mit den Erfahrungstatsachen dieser übereinstimmen.