Der Beweis
– kann ich sagen – ist
eine Figur, an deren einem
Ende gewisse Sätze stehen & an dere
n anderm
Ende ein Satz steht (den wir den
‘bewiesenen’ nennen).
Man kann als Beschreibung so einer Figur sagen:
in ihr folge der Satz … aus … & ….
Das ist eine Form der Beschreibung eines
Musters, das
z.B. auch ein Ornament sein könnte.
Ich kann also
z.B. sagen:
“In dem Beweise, welcher auf jener Tafel
steht, folgt der Satz p aus q & r” &
dies || das ist einfach
die || eine Beschreibung dessen, was dort
geschrieben steht || geschrieben ist || zu sehen ist.
Es
ist aber nicht der mathematische Satz, daß p aus
q &
r folgt.
Dieser hat eine
ganz
andere Anwendung.
Er sagt – so könnte man es
ausdrücken – daß es Sinn hat, von einem Beweise
(Muster) zu reden, in welchem p aus
q &
r folgt.
Wie man sagen kann, der Satz
“Weiß ist heller als Schwarz” sage
aus, es habe Sinn von zwei
Gegenständen zu reden, von denen d
er hellere
weiß, d
er andere schwarz sei, aber nicht von zwei
Gegenständen, von denen der hellere schwarz,
der andre weiß sei.
39