四、无穷公理和自然数集合 　　无穷公理给出自然数集合的存在性。下面先定义自然数，再说明无穷公理。 　　定义9.7.3 　　定义9.7.4 　　定义9.7.5 　　定义9.7.6 　　定理9.7.11