Wenn es wahr wäre daß die Zahlen in keiner wesentlich anderen Verbindung vorkommen als im Ausdruck || in (∃x,y,z)¤ dann wäre die 3 einfach so zu definieren
(∃xyz)… ≝ (∃xxx)… ≝ (∃3x)… & analog alle Ziffern & dem entsprechend die variable Zahl.