Ramsey schlägt vor den Satz daß unendlich viele Gegenstände eine Funktion befriedigen 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

Editorial notes

1) Continuation in Ms-106,2.