Was aber will das “(x)” in “(x):x² = 2x:C:x = 0. V .x = 2”? (Es wäre lächerlich, es extensiv aufzufassen) Ist es eine allgemeine Konstante?
   Dass der Satz, der bei der Ausrechnung herauskommt, wahr ist, lässt sich wieder rein technisch durch Ersetzungsregeln zeigen. Dann ist also auch hier das x eine allgemeine Konstante.

✓ ?