Φ[ẑψz].≝.φx ≡ xψx . ⊃ φ.Φφ
Von zwei Klassen zu sagen sie seien identisch sagt etwas. Von zwei Dingen dies zu sagen sagt nichts dies schon zeigt die Unzulässigkeit der Russellschen Definition