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. Das wäre z.B. der Beweis, der mich davon überzeugt, dass ich die Gleichung 17 × 38 = 456 nachprüfen kann, noch ehe ich es getan habe. Woran erkenne ich nun, dass ich 17 × 38 = 456 überprüfen kann, während ich das beim Anblick eines Integralausdrucks vielleicht nicht weiss? Ich erkenne offenbar, dass er nach einer bestimmten Regel gebaut ist und 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ässt, deren Kontrolle sie möglich macht. Ich kann dann sagen, ich erkenne, dass diese Methode auch diese Gleichung nachprüft, obwohl ich die Nachprüfung noch nicht vollzogen habe.