数学分析---罗素悖论

证：

     设M为一个集合，P（M）表示M不以自己作为元素的集的一种性质。考查具有性质P的集合的类K={M|P（M ）}

    如果K是集合，P（K）和^P(K) 必有一个为真。然而，P（K）不可能为真，由K的定义推知K包含K，即^P（K）为真；^P（K）不可能为真，因为这就表示K包含K，而与K的定义：它是不含自身的集相矛盾