История изменений
Исправление X512, (текущая версия) :
Покажи наиновейшее аксиоматическое определение единицы :)
Да хоть пусть существует «1», а дальше аксиоматика Пеано. Компьютерам с формально заданным поведением ничто не мешает совершать арифметические операции.
Непротиворечивость арифметики Пеано доказана (англ.) в 1936 году Генценом с помощью трансфинитной индукции до ординала ϵ 0 . {\displaystyle \epsilon _{0}.} \epsilon _{0}.
Исходная версия X512, :
Покажи наиновейшее аксиоматическое определение единицы :)
Да хоть пусть существует «1», а дальше аксиоматика Пеано. Можно через Компьютерам с формально заданным поведением ничто не мешает совершать арифметические операции.
Непротиворечивость арифметики Пеано доказана (англ.) в 1936 году Генценом с помощью трансфинитной индукции до ординала ϵ 0 . {\displaystyle \epsilon _{0}.} \epsilon _{0}.