/  
     Was heisst es “non(5 × 5 = 30)”? Es kommt mir vor, als dürfte man es nicht so schreiben, sondern “5 × 5 ≠ 30”; und zwar, weil ich nichts negieren, sondern eine, wenn auch unbestimmte, Beziehung zwischen 5 × 5 und 30 feststellen will (also etwas Positives). – Man könnte allerdings sagen: Wohl, aber diese Beziehung ist doch jedenfalls unverträglich mit 5 × 5 = 30”. – Und so ist die Beziehung der Unteilbar[k|]keit zur Beziehung der Teilbarkeit! Es ist ganz klar, dass, wenn ich die Teilbarkeit ausschließe, das in diesem logischen System äquivalent ist mit dem Feststellen der Beziehung der Unteilbarkeit. – Und ist das nicht derselbe Fall, wie der einer Zahl, die kleiner als 5 ist, wenn sie nicht gleich oder größer ist?