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,
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,
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äß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.