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, daß ich die Gleichung 17 × 38 = 456 nachprüfen kann, noch ehe ich 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 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äß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.