漫游猫认证
皮亚诺公理,也称皮亚诺公设,是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。
根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。皮亚诺公理是针对于自然数的公理系统,而加法适用于整个复数集