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