前半段是无穷公理，后半段是用无穷公理定义自然数吗？
看的云里雾里。

【 在 liangf 的大作中提到: 】
: 表达式输入不了，用文字简单说就是：
: 存在一个集合x，满足：
: 1、空集是 x 的元素，且
: ...................
--
FROM 118.115.49.*