Man kann auch so sagen: x² = x ∙ x ist richtig und x² = x + x ist richtig aber in einem anderen Sinne. Das ist es eben was man anzeigen will indem man schreibt (x)x² = x ∙ x dagegen (∃x)x² = x + x. Die beiden Gleichungen || , heißt das || , prätendieren nicht das Gleiche.