从集合开始，定义自然数，然后定义自然数的后继，然后定义加法。
然后将自然数一步一步扩展成整数有理数实数复数，并将加法扩展。

你可以找一本数学分析的书来看，或者看看下面这个问答的第三个回答
https://www.zhihu.com/question/291062803

这里面，加法的交换律，结合律都是要证明的，证明过程还不简单。
小学生一样用的很high，一点也不妨碍。
大数学家欧拉刚开始学加法的时候，我想一定也是直接用了加法的这些定理。

【 在 textilerolle 的大作中提到: 】
: 定义加法后边的公理是啥?
--
修改:superant011 FROM 111.202.125.*
FROM 111.202.125.*