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.
Es || Das wäre z.B. der Beweis der
mich davon überzeugt, daß ich die Gleichung
17 × 38 =
456 nachprüfen
kann,
der mich
überzeugt noch ehe ich
sie
nachgeprüft || 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 & 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
Multipli
kationsaufgaben 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.
Was ist der Beweis
dafür, daß die Division 1 : 3
einmal die Zahl 0˙33333
erzeugen wird?