Ramsey schlägt vor den Satz daß unendlich viele Gegenstande eine Funktion befridigen 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 [Z|B]edeutung haben. Dann können wir den
vierten
dritten
Satz der Reihe gar nicht mehr hinschreiben denn es hat dann keinen Sinn zu schreiben
~(∃x y z u) φx φy φz φu 1
 

Editorial notes

1) Continuation in Ms-106,2.