Man könnte auch fragen: wie geht denn jener
Proze
ß vor sich, wenn wir noch gar keine Ahnung haben
wie ein gewisser Satz zu beweisen ist & nun doch fragen:
„läßt es sich
beweisen, oder nicht”, und nach dem Beweis
für ihn ausschauen.
Wenn wir „versuchen ihn zu beweisen”, was tun wir
da?
Ist es wesentlich ein Suchen ohne jedes innere System, also
eigentlich
kein Suchen, oder kann irgend ein Plan
vorhanden sein?
Die Antwort auf diese
Fragen || Frage ist ein Fingerzeig
in der Frage ob
der noch unbewiesene – oder noch unbeweisbare – Satz sinnlos ist
oder nicht.
Denn in einem sehr bedeutungsvolle
n Sinn muß
jeder sinnvolle Satz durch seinen Sinn uns anweisen, wie wir uns davon
überzeugen sollen ob er wahr oder falsch
ist.
„Jeder Satz sagt, was der Fall ist, wenn er wahr
ist”.
Und dieses „was der Fall ist” muß sich beim
mathematischen Satz auf die Art & Weise seines Beweises
beziehen.
Dagegen nämlich kann man nicht den
Sinn eines Satzes den
man nicht kennt logisch planvoll suchen.
Der Sinn müßte einem so zu sagen geoffenbart werden
nämlich || und zwar von außen, – da er aus dem
Satzzeichen allein nicht zu entnehmen ist – im Gegensatz
e
zur Wahrheit die uns der Satz selbst suchen & mit ihm vergleichen
lehrt.