Es ist ganz klar, dass die Negation in der Arithmetik gänzlich verschieden ist von der eigentlichen Negation von Sätzen.
      (Ich glaube, sie entspricht immer einer gewissen Disjunktion von Fällen.)
     Und es ist ja klar, dass dort, wo sie wesentlich – aus den logischen Verhältnissen heraus – einer Disjunktion entspricht, oder einer Ausschliessung eines Teiles einer logischen Reihe zu Gunsten eines anderen – dass sie dort eine ganze andere Bedeutung haben muss.
     Sie muss ja Eins sein mit jenen logischen Formen und also nur scheinbar eine Negation.
     Wenn “nicht-gleich” grösser oder kleiner bedeutet, so kann das für das “nicht” nicht, sozusagen, ein Zufall sein.