Was aber will das „(x)” in „(x): x² = 2x ⊃ x = 0 ⌵ x = 2”?
(Es wäre lächerlich es extensiv aufzufassen.) Ist es eine allg. Konstante? Jedenfalls keine Unbekannte.
Daß der Satz der bei der Ausrechnung herauskommt wahr ist, läßt sich wieder rein technisch durch Ersetzungsregeln – a = a … W, a ≠ a … F oder dergl. – zeigen. Dann ist also auch hier das x eine allg. Konstante.