皮亚诺公理（综述.pdfVIP

⽪亚诺公理（综述）

  在数学逻辑中，⽪亚诺公理（Peanoaxioms，/piˈɑːnoʊ/，[peˈaːno]），也称为德德⾦–

⽪亚诺公理或⽪亚诺假设，是⼀组⽤于描述⾃然数的公理体系，由19世纪意⼤利数学家朱塞佩·

⽪亚诺出。这些公理在多项元数学研究中⼏乎未加改动地被⼴泛采⽤，其中包括关于数论是否

⼀致与完备等基本问题的研究。

由⽪亚诺公理所供的算术公理化体系，通常被称为⽪亚诺算术。

  将算术进⾏形式化的重要性，在赫尔曼·格拉斯曼的⼯作之前并未被⼴泛重视。格拉斯曼在

19世纪60年代指出，算术中的许多事实可以从关于后继运算和数学归纳的更基本事实中推导出

来。1881年，查尔斯·桑德斯·⽪尔⼠出了⼀种⾃然数算术的公理化体系。1888年，理查德·德

德⾦⼜出了另⼀种⾃然数的公理体系，⽽⽪亚诺则在1889年出版的著作《以新⽅法阐述的算

术原理》（拉丁⽂：Arithmeticesprincipia,novamethodoexposita）中，将其加以简化并

作为⼀组公理发表。

  ⽪亚诺公理共包括三类陈述：1.第⼀条公理断⾔⾃然数集合中⾄少存在⼀个元素；2.接下

来的四条是关于等号的⼀般性陈述，在现代的处理⽅式中，这些往往被看作是“