皮亚诺公理

网友科普

皮亚诺公理是意大利皮亚诺所构造的算术公理系统中的公理。1889年，在数学家戴德金工作的基础上，皮亚诺在《用一种新方法陈述的算术原理》一书中提出了一个算术公理系统，这个公理系统有九条公理，其中四条是关于“相等”的，五条是刻画数的，并且以1而不是0作为基本概念。在后来的著作中，皮亚诺对这一算术系统作了修改，去除了关于“相等”的四条公理，并且以0取代1作为基本概念，构造了沿用的皮亚诺算术公理系统。

我要报错

问AI百科

百科AI智能，探索更多与"皮亚诺公理"相关的知识

随便看看

色目艛𦩷舍正从邪色厉胆薄色厲內荏花街苍黄芳郁舞衫歌扇芘藾