/  
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 Ausrechn[g|u]ng herauskommt wahr ist, laß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.