Welche Fragen kann man bezüglich einer Form
z.B.
Fx = Gx || Fx = 0
stellen? – Ist
Fx = Gx || Fx = 0 || x ‒ x =
0 (x als allgemeine
Konstante) oder nicht?
Führen die Regeln zu einer Lösung der
Gleichung
x ‒ 1
= 0 (x als Unbekannte)
1 oder
nicht? Verbieten die Regeln die Form
Fx = Gx ||
Fx = 0
(x als leere Stelle aufgefaßt)
oder nicht?
Keiner dieser
Fälle darf sich empirisch, also extensiv, prüfen
lassen.