皮亚诺公理第五条 皮亚诺公理证明1+1=2

一、皮亚诺公理第5条，也就是归纳法公理，为什么

公理是无条件认可为真的命题所以第五条这条涉及到无限项时直觉上不严密命题被作为公理确立下来类似的还有选择公理

二、皮亚诺公理第三条的符号是什么

皮亚诺公理是奠定自然数的加法的基础，一共有五条公理：

1.0和1都是自然数

2.0不是任何自然数的后继

3.任意一个自然数的后继用S(n)来表示，或者用n'来表示

4.如果两个自然数的后继相等，那么这两个自然数相等

5.任意一个自然数n的后继是(n+1)的结果

(e∈S)

(?a∈S)(f(a)∈S)

(?b∈S)(?c∈S)(f(b)=f(c)→b=c)

(?a∈S)(f(a)≠e)

(?A?S)(((e∈A)∧(?a∈A)(f(a)∈A))→(A=S))

三、诺德定理

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

在后来的著作中，皮亚诺对这一算术系统作了修改，去除了关于“相等”的四条公理，并且以0取代1作为基本概念，构造了沿用至今的皮亚诺算术公理系统。