NOT正：《中华人民共和国国家标准物理科学和技术中使用的数学符号》 (由国家技监局发布，北京：中国标准出版社，1994年1山月版) 用集合“无穷公理”作为基础，自然数可如下归纳定义： 0=(空集是0) 1=X0后继) 2={女，1的后继) 3={,中激2的后继) 一般地，若自然数n己经定义，则n的后继n+1定义为 n+1={0,l2,.n}=nUn 所有自然数的集合称为自然数集，认为N={01,2,n} 3、具体数学方法 (一)分析法(method of analysis) 在命题的推证过程中，根据思考时推理顺序的不同，可分为综合法和分析法。 分析法，就是从题断出发，寻求它的途径，直至归结到题设的思考方法。其 思考顺序是执果索因。 命题：若A,则D 思考顺序： →B→ →B→C→ A→B→C→D →B→C2→ →B→ 从D上溯寻求其论据（如C、C1、C2等） 而后再寻求C、C1、C2的论据(B、B1.B4) 如果其中之一，如B的论据恰为已知条件A,于是，命题的推理途径也就 得到了。 其逻辑依据：[(C→D)∧(B→C)A(A→B)]→D (二)综合法(Method of synthesis)NOTE：《中华人民共和国国家标准•物理科学和技术中使用的数学符号》 （由国家技监局发布，北京：中国标准出版社，1994 年 11 月版） 用集合“无穷公理”作为基础，自然数可如下归纳定义：      3      (2 ) 2 (1 ) 1 (0 ) 0 ( 0) 的后继 的后继 后继 空集是         ， ， ， ， = = = = . 一般地，若自然数 n 已经定义，则 n 的后继 n+1 定义为 n +1= 0,1,2, n= nn 所有自然数的集合称为自然数集，认为 N = 0,1,2, n 3、具体数学方法 （一）分析法（method of analysis） 在命题的推证过程中，根据思考时推理顺序的不同，可分为综合法和分析法。 分析法，就是从题断出发，寻求它的途径，直至归结到题设的思考方法。其 思考顺序是执果索因。 命题：若 A，则 D 思考顺序： D C C C B B B B B A → → → → → → → → → → → → → 2 1 4 3 2 1 从 D 上溯寻求其论据（如 C、C1、C2 等） 而后再寻求 C、C1、C2 的论据（B、B1.B4） 如果其中之一，如 B 的论据恰为已知条件 A，于是，命题的推理途径也就 得到了。 其逻辑依据：[（C→D）∧（B→C）∧（A→B）] →D （二）综合法（Method of synthesis）