Wenn man z.B. den Begriff ℵ0 wie R. erklären
will indem man sagt eine Funktion φ sei der Art, daß alle Sätze von der Form
~(∃x) ∙ φx, (Еx) φx, (Еx,y) φx ∙ φy, (Еxyz) φxφyφz, etc. falsch sind dann setzt diese Erklärung schon voraus daß es unendlich viele Sätze jener Form gibt. – Und zwar auch dann wenn wir uns mit der Funktion φ irren sollten & es sich herausstellte daß einer jener Sätze wahr ist.