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