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”?