Man kann für den Gebrauch der Variablen wohl eine Regel aufstellen und es ist kein Pläonasmus, dass wir dabei eben diese Art der Variablen gebrauchen. Denn brauchten wir sie nicht, so wäre ja durch die Regeln die Variable definiert. Und wir nehmen ja nicht an, dass sie sich definieren lasse, oder: sie definiert werden müsse (denn einmal nehmen die Definitionen doch ein // ihr // Ende).