Ramsey
schlug
schlägt
vor, den Satz, dass unendlich viele Gegenstände eine Funktion befriedigen dadurch auszudrücken, dass er alle Sätze verneint von der Form:
non(Ex)fx
(Ex)fx & non(Ex,y)fx & fy etc.
Aber nehmen wir nun an, dass es nur drei Gegenstände gibt, d.h. dass nur drei Namen Bedeutung haben. Dann können wir den vierten Satz der Reihe gar nicht mehr hinschreiben, denn es hat dann keinen Sinn zu schreiben: non(Ex,y,z,u) fx & fy&fz&fu Durch die Verneinung aller Sätze jener Reihe komme ich also nicht zum Unendlichen.