Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел.
Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для построения формальных теорий рациональных и вещественных чисел.
Содержание |
Как следует из теоремы Гёделя о неполноте, существуют утверждения о натуральных числах, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом Пеано. Некоторые такие утверждения имеют достаточно простую формулировку, например, теорема Гудстейна.
Введём функцию , которая сопоставляет числу следующее за ним число.
Или так:
Текст аксиом Пеано, как он приведен в оригинальном издании Пеано.
Формализация арифметики включает в себя аксиомы Пеано, а также вводит число 0 и операции сложения и умножения с помощью следующих аксиом:
Формальное определение натуральных чисел в XIX веке сформулировал итальянский математик Пеано. Аксиомы Пеано основывались на более ранних построениях Грассмана. Непротиворечивость арифметики Пеано доказана (англ.) в 1936 году Генценом с помощью трансфинитной индукции до ординала Как следует из второй теоремы Гёделя о неполноте, это доказательство не может быть проведено средствами самой арифметики Пеано.
Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её. |
Арифметика Пеано.