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 № Nr.1 und № Nr.2 (wie sie gewöhnlich gebraucht werden) ist nicht einer der Extension der Werte, die
sie
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.