Der Beweis der Relevan[t|z] wäre ein Beweis der noch mehr nicht den Satz ergeben würde. ‒ ‒ ‒ Und eben das könnte so einen Beweis möglich machen. Er würde die Leiter nicht hinaufsteigen, denn dazu muss man jede Stufe nehmen; sondern nur zeigen, dass die Leiter in dieser Richtung führt. D.h.: Es gibt keinen Ersatz für das Durchlaufen jeder Stufe, und was dem äquivalent ist, muss wieder dieselbe Mannigfaltigkeit haben. (In der Logik gibt es kein Surrogat.) Es ist auch der Pfeil kein Surrogat des Durchschreitens aller Stufen bis zum bestimmten Ziel. Das hängt auch mit der Unmöglichkeit einer Hierarchie von Beweisen zusammen.

✓ / \