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 be
stimmten
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.