Auf den Satz "Für Formvariablen müssen Grundmengen für die Einsetzungen angegeben werden, die von den Grundmengen für die Gleichungsvariable abweichen können" würde ich gerne verzichten im Sinne der weisen Beschränkung. Dass im Beispiel p, q immer reell sind, während x komplex sein kann, hat mit der Erklärung einer Variablen nichts zu tun. Oder mißverstehe ich deinen Satz? (Dann sollte er ebenfalls verschwinden.) -- der Saure 14:00, 4. Nov. 2013 (CET)