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 und № 2 (wie sie gewöhnlich gebraucht werden) ist nicht einer der Extension der Werte, die sich befriedigen. Wie beweist Du den Satz “№ 1 gilt für alle Werte von x und y” und wie den Satz “es gibt Werte von x, die № 2 befriedigen”? So viel Analogie in diesen Beweisen ist, soviel Analogie ist im Sinn der beiden Sätze.