545
     Ramsey definiert x = y als      (Fe).Fex ≡ Fe.
Aber nach den Erklärungen, die er über seine Funktionszeichen “Fe” gibt, ist (Fe).Fex ≡ Fex die Aussage: “jeder Satz ist sich selbst äquivalent”       (Fe).Fex ≡ Fey die Aussage: “jeder Satz ist jedem Satz äquivalent”. || Ramsey erklärt “x = x” auf einem Umweg als die Aussage “jeder Satz ist sich selbst äquivalent” und “x = y” als “jeder Satz ist jedem Satz äquivalent”.

Er hat also mit seiner Erklärung nichts andres erreicht, als was die zwei