加法交换律到底讲什么,加法交换律怎么验算

A QUARK

扯闲篇儿

上周我们讲了皮亚诺公理，这周继续讲讲加法交换律

数学归纳法

数学归纳法就是皮亚诺第五公理，它是这么写的

公理5：假定P(n)是自然数的一个性质，如果P(0)是对的，且假定P(n)是正确的，则P(n')也是真的，那么命题对所有自然数都为真。

为什么可以这么说呢，根据前几个公理，自然数是以0为起点，一个接一个的。如果假定n有某个性质时，可证n'也有此性质。能证明0有这个性质，那么就可以证明0'也有此性质，0''也有，0'''也有，就能证明所以自然数都有这一性质。