Вводим понятие силы арифметической теории с помощью доказуемых вполне упорядочений. Сравнение теорий по силе: арифметики Робинсона, элементарной арифметики, арифметики Пеано и т.п. Эквивалентность принципов индукции и фундированности.
Hide player controls
Hide resume playing