送交者: 雅诗 于 2005-4-14, 10:25:35:

回答: “掐”起来了不是？如果讲“数学归纳法是个定义”的话，就更合理了。 由 mirror 于 2005-4-14, 01:14:16:

说“公设”要妥当一些。

依据数学归纳法做出的证明是证明，跟依据欧几里德公理体系做出的证明是证明， 道理是一样的。

加跟贴