Der Beweis der Beweisbarkeit eines Satzes wäre
der Beweis des Satzes selbst. Dagegen gibt es etwas, was wir den Beweis der Relevanz nennen könnten. Es || Das wäre z.B. der Beweis der mich davon überzeugt, daß ich die Gleichung 17 × 38 = 456 nachprüfen kann, der mich überzeugt noch ehe ich sie nachgeprüft || es getan habe. Woran erkenne ich nun, daß ich 17 × 38 = 456 überprüfen kann, während ich das beim Anblick eines Integralausdrucks vielleicht nicht weiß? Ich erkenne offenbar daß er nach einer bestimmten Regel gebaut ist & auch, wie die Regel || Vorschrift zur Lösung der Aufgabe an dieser Bauart des Satzes haftet. Der Beweis der Relevanz ist dann etwa eine Darstellung der allgemeinen Form der Lösungsmethode etwa der Multiplikationsaufgaben die die Allgemeine Form der Sätze erkennen läßt deren Kontrolle sie möglich macht. Ich kann dann sagen ich erkenne, daß diese Methode auch diese Gleichung nachprüft obwohl ich die Nachprüfung noch nicht vollzogen habe.
     Was ist der Beweis dafür, daß die Division 1 : 3 einmal die Zahl 0˙33333 erzeugen wird?