51. Ординальный анализ. Доказательная сила теории.

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