545
Ramsey
definiert x
= y als
(F
e).F
ex ≡
F
e.
Aber nach den Erklärungen, die er über
seine Funktionszeichen “F
e” gibt, ist
(F
e).F
ex ≡
F
ex die Aussage: “jeder Satz ist sich
selbst äquivalent”
(F
e).F
ex ≡
F
ey die Aussage: “jeder Satz ist jedem
Satz äquivalent”. // Ramsey erklärt
“x
= x” auf einem Umweg als die Aussage
… und “x =
y” als …. //
Er hat also mit seiner Erklärung nichts andres erreicht, als was die zwei