/  
Wenn es wahr wäre daß die Zahlen in keiner wesentlich anderen Verbindung vorkommen als i[n|m] Ausdruck (∃x,y,z). dann wäre die 3 einfach so zu definie-
ren (∃xyz)… ≝ (∃xxx)… oder ≝ (∃3x)… & analog alle Ziffern & dem entsprechend die variable Zahl.