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.