Klingt sehr realistisch. Oftmals ist es einfach eine Frage der Umgebungsbedingungen, ob eine Theorie anwendbar ist oder nicht. Darum besteht ja die Mathematik (und auch jede andere Logik) darauf, die jeweiligen Umgebungsbedingungen zu definieren. Ich weiß nicht, ob das heute noch in dieser Form gelehrt wird, aber bei uns hieß es immer:
Satz: Die Theorie
Es sei: Die Umgebungsbedingungen (z.B: x ist eine natürliche Zahl)
Beweis: Der Nachweis für die Theorie.