概括公理（axiom comprehension）（万有分类公理） 每个性质对应于一集合基础公理（foundation axiom） A A 是一个非空集合，AA 至少包含一个元素 x x，它要么不是集合，要么是与 AA 不同的集合 习题 ​（1）反证，依据定义推矛盾 （2）若两者都不成立，则有 A∈B∈A A\in B\in A定义 P(x) P(x) 恒为真，集合 {x| P(x