表达式输入不了，用文字简单说就是：
存在一个集合x，满足：
1、空集是 x 的元素，且
2、对所有的集合u，如果u是x的元素，则集合S(u)也是x的元素
其中S(u)表示 u 和 {u} 的并集

存在一个唯一的集合N，N满足无穷公理，并且N的所有满足无穷公理的子集都是N自己
这个N就是自然数集，自然数集里的元素就是自然数
所以：
0=空集，1={0}，2={0.1}, 3={0,1,2}, 4={0,1,2,3}......
【 在 justff0 的大作中提到: 】
: 无穷公理简单说说？
--
FROM 183.6.102.*