Der || Ein Beweis
–
kann || könnte ich sagen – ist
eine Figur, an deren einem Ende gewisse Sätze
stehen und an derem andern Ende ein
Satz
stehe || steht
(den wir den ‘bewiesenen’ nennen).
Man kann als Beschreibung so einer Figur sagen: in
ihr folge der Satz ..... aus .....
und ......
Das ist eine Form der Beschreibung eines
Musters,
das z.B. auch ein Ornament
(Tapetenmuster) sein könnte. Ich
kann also sagen: “In
– 166
–
dem Beweise, welcher
auf jener
Karte || Tafel steht,
folgt der Satz p aus
q
und r”, und das ist einfach eine
Beschreibung dessen, was dort zu sehen ist. Es ist aber
nicht der mathematische Satz, daß
p
aus q und
r
folgt. Dieser hat eine 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 und
r
folgt. Wie man sagen kann, der Satz
“
Weiß || weiß
ist heller als
Schwarz || schwarz”
sage aus, es habe Sinn, von zwei Gegenständen zu reden, von
denen der hellere weiß, der andere schwarz
sei, aber nicht von zwei Gegenständen, von denen der
hellere schwarz, der andere weiß sei.