Аксиомы Пеано

Аксиомы Пеано — это система аксиом для натуральных чисел, предложенная итальянским математиком Джузеппе Пеано в 1889 году. Они служат фундаментальным формальным основанием для арифметики, определяя натуральный ряд как бесконечное множество с заданными свойствами и операциями. Аксиомы Пеано позволяют строго определить сложение, умножение и отношение порядка, а также доказать основные свойства натуральных чисел, включая принцип математической индукции.

История

До работ Пеано математики, такие как Герман Грассман и Рихард Дедекинд, уже предпринимали попытки аксиоматизации арифметики. В 1888 году Дедекинд опубликовал работу «Что такое числа и для чего они служат?», где предложил аксиоматическое определение натуральных чисел, близкое к современному. Однако именно Пеано в 1889 году в своей книге «Arithmetices principia, nova methodo exposita» («Принципы арифметики, изложенные новым методом») сформулировал систему из девяти аксиом, которая стала общепринятой. Впоследствии, в 1891 году, он уточнил и упростил формулировки, сведя их к пяти основным аксиомам. Система Пеано стала важным шагом в развитии математической логики и оснований математики, оказав влияние на работы Бертрана Рассела, Альфреда Норта Уайтхеда и Давида Гильберта.

Формулировка аксиом

Аксиомы Пеано описывают множество N (натуральные числа) с выделенным элементом 1 (или 0 в других вариантах) и функцией следования S, которая каждому натуральному числу ставит в соответствие следующее за ним число. В классической формулировке Пеано использовал единицу, но в современной математике чаще используют ноль. Обе версии эквивалентны с точностью до сдвига.

Классическая формулировка (с единицей)

1. 1 ∈ N (единица является натуральным числом).
2. Если x ∈ N, то S(x) ∈ N (образ числа относительно функции следования также является натуральным числом).
3. Не существует такого x ∈ N, что S(x) = 1 (единица не следует ни за каким натуральным числом).
4. Если S(x) = S(y), то x = y (функция следования инъективна: разные числа имеют разные образы).
5. Аксиома индукции: Если некоторое свойство P выполняется для 1 и из того, что оно выполняется для x, следует его выполнение для S(x), то P выполняется для всех натуральных чисел.

Современная формулировка (с нулём)

1. 0 ∈ N.
2. Если x ∈ N, то S(x) ∈ N.
3. Не существует такого x ∈ N, что S(x) = 0.
4. Если S(x) = S(y), то x = y.
5. Аксиома индукции: Если свойство P выполняется для 0 и из P(x) следует P(S(x)), то P выполняется для всех x ∈ N.

Свойства и следствия

Из аксиом Пеано выводятся все основные свойства натуральных чисел:

• Определение сложения:
• x + 0 = x
• x + S(y) = S(x + y)
• Определение умножения:
• **x * 0 = 0**
• **x S(y) = (x y) + x**
• Отношение порядка: x ≤ y тогда и только тогда, когда существует такое z, что x + z = y.

Аксиомы гарантируют, что натуральный ряд является бесконечным, линейно упорядоченным множеством с наименьшим элементом (0 или 1) и без наибольшего. Принцип математической индукции, являющийся пятой аксиомой, позволяет доказывать утверждения для всех натуральных чисел.

Нестандартные модели

Аксиомы Пеано не являются категоричными — существуют модели, отличные от стандартного натурального ряда, которые удовлетворяют всем аксиомам. Такие модели называются нестандартными моделями арифметики. В них, помимо обычных натуральных чисел, присутствуют «бесконечно большие» числа, которые больше любого стандартного натурального числа. Существование нестандартных моделей следует из теоремы Лёвенгейма — Скулема и тесно связано с понятием неполноты формальных систем.

Критика и ограничения

В 1931 году австрийский логик Курт Гёдель доказал теоремы о неполноте, которые показали принципиальные ограничения аксиоматической системы Пеано (и любой другой достаточно мощной формальной системы):

1. Первая теорема Гёделя: Если система аксиом Пеано непротиворечива, то в ней существует истинное арифметическое утверждение, которое нельзя ни доказать, ни опровергнуть средствами самой системы.
2. Вторая теорема Гёделя: Если система аксиом Пеано непротиворечива, то её непротиворечивость нельзя доказать средствами самой системы.

Таким образом, аксиомы Пеано не могут полностью описать все истинные факты о натуральных числах, а их непротиворечивость не может быть установлена внутренними методами.

Применение

Аксиомы Пеано являются основой для:

• Формальной арифметики — раздела математической логики.
• Теории алгоритмов и вычислимости — натуральные числа являются основным объектом для изучения вычислимых функций.
• Оснований математики — аксиомы Пеано используются для построения теории множеств и других математических структур.
• Обучения математике — в педагогике аксиомы Пеано часто используются для строгого введения понятия натурального числа.

Источники

• Пеано, Джузеппе. «Arithmetices principia, nova methodo exposita» (1889).
• Дедекинд, Рихард. «Что такое числа и для чего они служат?» (1888).
• Гёдель, Курт. «О формально неразрешимых предложениях Principia Mathematica и родственных систем I» (1931).
• Мендельсон, Эллиотт. «Введение в математическую логику» (любое издание).
• Верещагин, Н. К., Шень, А. «Лекции по математической логике и теории алгоритмов» (любое издание).