Аксиомы Пеано: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
LGB (обсуждение | вклад) |
Fullfungo (обсуждение | вклад) Исправлена опечатка Метки: с мобильного устройства через мобильное приложение через приложение для iOS |
||
Строка 7:
== О неполноте ==
Как следует из [[теорема Гёделя о неполноте|теоремы Гёделя о неполноте]], существуют утверждения о натуральных числах, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом Пеано.
Некоторые такие утверждения имеют достаточно простую формулировку, например [[теорема Гудстейна]] или [[теорема Париса–Харрингтона]]
== Формулировки ==
|