有没有不包含自身的集合？

有没有不包含自身的集合？

将所有集合分为两类，第一类中的集合以其自身为元素，第二类中的集合不以自身为元素，假令第一类集合所组成的集合为P，第二类所组成的集合为Q，于是有： P={A∣A∈A} Q={A∣A∉A} 问，Q∈P 还是 Q∈Q？ 若Q∈P，那么根据第一类集合的定义，必有Q∈Q，但是Q中任何集合都有A∉A的性质，因为Q∈Q，所以Q￠Q，引出矛盾。若Q∈Q，根据第一类集合的定义，必有Q∈P，而显然P∩Q=∅，所以Q∉Q，还是矛盾。 这就是著名的“罗素悖论”。