Das hängt mit der Frage zusammen, ob man 2 = 2 verneinen kann, wie 2 × 35 = 70, und warum man eine Definition nicht verneinen kann.