61阅读

我们就可以这样定义自然数系了：存在一个自然数系 N，称其元素为自然数，当且仅当这些元素满足公理 1 - 5。什么是加法？我们定义，加法是满足以下两种规则的运算：...