Man kann für den Gebrauch der Variavlen 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: dass sie definiert werden müsse (denn einmal nehmen die Definitionen doch
ihr
ein
Ende).