Sind die Variablen von derselben Art in den Gleichungen:
          x² + y² + 2xy = (x + y)²
          x² + 3x + 2 = 0
          x² + ax + b = 0
          x² + xy + z = 0        ?
Das kommt auf die Verwendung dieser Gleichungen an. – Aber der Unterschied zwischen № 1 & № 2 (wie sie gewöhnlich gebraucht werden) ist) nicht einer der Extension der Werte die sie befriedigen. Wie beweist Du den Satz daß „№ 1 gilt für alle Werte von x & y” & wie den Satz „№ 2 „Es gibt Werte von x die № 2 befriedigen”. Soviel Analogie in diesen Beweisen ist soviel Analogie ist im Sinn der beiden Sätze.