查看“佩亚诺公理”的源代码

佩亚诺公理（Peano Axioms）是一组描述自然数的基本属性的公理，它们由意大利数学家乔瓦尼·佩亚诺（Giuseppe Peano）于1889年首次提出。佩亚诺公理对自然数进行了公理化的处理，证明自然数的性质可以在几条基本公理的基础上进行推导。这一公理系统对数学的发展有着重要影响，尤其是在数理逻辑和集合论方面。

佩亚诺公理系统由五条公理组成，定义了一个二元组<math>(N, S)</math>，其中<math>N</math>是一个非空集合，<math>S</math>是一个从<math>N</math>到<math>N</math>的映射，这五条公理如下：

# 0是自然数（在此处，0通常用来表示自然数的起始元素，但有些版本的佩亚诺公理会使用1）。
# 对每一个自然数<math>n</math>，<math>S(n)</math>也是自然数。
# 对每一个自然数<math>n</math>，有<math>S(n)</math>不等于0。
# 如果<math>n</math>和<math>m</math>是自然数且<math>S(n)</math>等于<math>S(m)</math>，则<math>n</math>等于m。
# 如果一个子集<math>A</math>包含了0，并且对于任何在<math>A</math>中的自然数<math>n</math>，<math>S(n)</math>也在<math>A</math>中，那么<math>A</math>就等于全体自然数<math>N</math>。

上述公理规定了自然数的起点（公理1），并确保了每个自然数都有一个后继（公理2），同时保证0不是任何自然数的后继（公理3），并且每个自然数都有唯一的后继（公理4）。最后的公理5，也就是归纳法原理，保证了所有自然数都可以通过“零和后继”过程生成。这五条公理组成的佩亚诺公理系统为自然数的理论基础打下了坚实的基础。
[[Category:基础数学]]
{{DEFAULTSORT:Pei亚诺公理}}