Ramsey
schlägt vor den Satz daß unendlich viele
Gegenst
ände eine Funktion befri
edigen
dadurch auszudrücken
daß er || daß er alle Sätze
verneint von der Form:
~(∃x) φx
(∃x)
φx ∙ ~(∃xy) φx ∙ φy
(∃xy) φx ∙
φy ∙ ~(∃xyz) φx
∙
φy
∙ φz
etc
.(Ƒ)
Aber nehmen wir nun an daß es nur 3 Gegenstände
gibt d.h. daß nur 3 Namen
Bedeutung haben.
Dann können wir den
dritten || vierten Satz der
Reihe gar nicht mehr hinschreiben denn es hat dann keinen Sinn zu
schreiben
~(∃x y z u)
φx φy φz φu
1