45/54 теорема Генцена. Оценка силы PA(X) сверху.

Использование вспомогательных исчислений в форме Тейта для получения основного результата: - теорема Генцена о верхней оценке доказательного ординала арифметики Пеано. Ссылка на ролик про нижнюю оценку: 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: