22.12.
Der Beweis bringt mich dazu zu sagen
, || : das
müsse sich so verhalten. ‒ ‒ Nun,
das versteh ich im Fall eines Euklidischen Beweises oder eines Beweises von
“25 × 25 = 625”, aber ist es auch so im Fall
eines R.schen Beweises etwa von “⊢ p ⊃ q ∙
p. ⊃ .q”? Was heißt
hier ‘es
müsse sich so
verhalten
’, im Gegensatz zu ‘es
verhält sich so’? Soll ich sagen:
“nun ich
111
nehme diesen Ausdruck als Paradigma für alle
nichtssagenden Sätze dieser Form an”?