Φ[ẑψz].≝.φx ≡ xψx . ⊃ φ.Φφ
Von zwei klassen zusagen sie seien Identisch sagt etwas. Von zwei Dingen dies sz zu sagen sagt nichts dies schon zeigt die Unzuläßigkeit der Russellschen Definition