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.