Q∈P 还是 Q∉P？ 若Q∈P，则根据第一类集合的定义，必有Q∈Q，而Q中的任何集合都有A∉A的性质，因为Q∈Q，所以Q∉Q，引出矛盾。若Q∉P，根据第二类集合的定义，A∉A，而P中的任何集合都有A∈A的性质，所以Q∈P，还是矛盾。
P(x)是x的一个性质，对任意已知集合A，存在一个集合B使得对所有元素x∈B当且仅当x∈A且P(x)；因此{x∣x是一个集合}并不能在该系统中写成一个集合，由于它并不是任何已知集合的子集；并且通过该公理，存在集合A={x∣x是一个集合}在ZF系统中能被证明是矛盾的，因此罗素悖论在该系统中被避免了。
