41. Иерархия формул

1:48 - язык арифметики Пеано 3:54 - стандартная модель натуральных чисел 9:23 - дельта-ноль формула 14:10 - сигма-один формулы 15:37 - пи-один формула 16:25 - высшие классы формул 19:31 - теорема о сигма-один полноте арифметики Пеано 48:00 - сигма-один определимость функций