1、外延定理
这句话实际想要表达的是：一个集合自身的唯一性由集合内的元素所决定。换而言之，集合内元素的不同，决定了集合与集合之间的区别。
2、分离公理模式
换而言之，若 X 是一个集合，那么可以断定， Y={ x∈X|P(x)} 也是一个集合。
3、配对公理
这句话实际想要表达的是：任意两个集合皆可以配成一队。
4、并集公理
ZFC 公理系统默认集合中的元素本身也是一个集合，而并集公理实际想要表达的是：给定集合 A ，我们可以找到一个集合 B ，它的元素完全是 A 的元素的元素。
5、幂集定理
这个定理实际想要表达的是：所有集合都有一个幂集。
6、无穷公理
这句话实际想要表达的是：有一个集合包含所有的自定义
