正整数的皮尔诺定义（Peano axioms）是关于正整数集合的基本性质的公理化描述。它由意大利数学家皮埃尔·德·费马（Pierre de Fermat）的学生朱塞佩·皮尔诺（Giuseppe Peano）在19世纪末提出。正整数的皮尔诺定义包含以下五条公理：1. 存在性公理：存在一个正整数1。这是正整数集合的基础元素。2. 后继公理：对于每一个正整数n，都存在一个后继正整数n'，且n'不等于任何其他的正整数。这个公理确保了正整数集合中的元素可以无限地通过后继操作得到。3. 无限性公理：不存在一个正整数n，使得对于所有的正整数m，都有m < n。这意味着正整数集合是无限的。4. 归纳公理：如果一个性质对1成立，且对于每一个正整数n，如果它对n成立，那么它对n'也成立，那么这个性质对所有正整数都成立。这是数学归纳法的基础。5. 传递性公理：对于所有的正整数m、n和p，如果m < n且n < p，那么m < p。这确保了正整数集合中的小于关系是一个传递关系。详细* 存在性公理：这是正整数集合的起点，它告诉我们至少存在一个正整数，即1。这个公理为我们提供了一个构建整数集合的基石。* 后继公理：这个公理确保了每一个正整数都有一个独特的后继，这个后继也是正整数集合的一部分。这为我们提供了一种方式来构建更大的正整数，从1开始，通过不断应用后继操作。* 无限性公理：这个公理断言正整数集合没有上限，即不存在一个最大的正整数。这意味着我们可以不断地通过后继操作得到新的正整数，正整数集合是无限的。* 归纳公理：这是数学归纳法的基础。它告诉我们，如果一个性质对1成立，并且对于每一个正整数n，如果它对n成立，那么它对n'也成立，那么这个性质对所有正整数都成立。这个公理在数学证明中非常有用，它允许我们从个别情况推广到所有情况。* 传递性公理：这个公理确保了正整数集合中的小于关系是一个传递关系。也就是说，如果m小于n，n又小于p，那么我们可以推断出m小于p。这为我们提供了一种方式来比较和排序正整数。例子：考虑正整数的加法运算。我们可以使用皮尔诺定义来证明加法的某些性质。例如，我们可以使用归纳公理来证明对于任意的正整数n，1加n总是等于n加1。首先，我们验证这个性质对1成立，即1加1等于1加1。然后，我们假设这个性质对某个正整数n成立，即1加n等于n加1。接着，我们证明这个性质对n'也成立。由于n'是n的后继，所以1加n'等于(1加n)'，而根据假设，1加n等于n加1，所以(1加n)'等于(n加1)'，即n'加1。因此，根据归纳公理，我们可以得出对于所有的正整数n，1加n总是等于n加1。总的来说，皮尔诺定义为正整数集合提供了一个坚实的基础，它确保了我们可以在这个集合上进行各种数学运算和推理，而不用担心出现矛盾或不一致的情况。这些公理在数学中扮演着重要的角色，它们是我们理解和研究正整数集合的基础。
