672
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,
673
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.