“ 自然数加法的序数定义”定义：自然数的加法是指这样的映射，即当a，b∈N时，有一个自然数c=a+b和它们对应，且具有以下三个性质：（1）对任意的a∈N，有a+0=a；（2）对任意的a∈N，有a+1=...

数学研究2020.04.11