求证 所有楼主都是SB解:把所有楼主分为2类,第一类中的楼主以其自身为元素,第二类中的楼主 不以自身为元素,假令第一类楼主所 组成的集合为P,第二类所组成的集 合为Q,于是有: P={楼主∣楼主∈SB} Q={楼主∣ 楼主∉SB} 问,楼主∈P 还是楼主∈Q? 若楼主∈ P,那么根据第一类集合的定义,必 有楼主∈Q,但是Q中任何集合都有A∉A 的性质,因为Q∈Q,所以Q ∉ Q,引 出矛盾。若Q∈Q,根据第一类集合的 定义,必有Q∈P,而显然P∩Q=∅, 所以Q∉Q,还是矛盾。∴所有楼主都是SB