Доказуемо тотальные рекурсивные функции (в данной теории). Классы доказуемо тотальных рекурсий. Иерархия Лёба-Вайнера (быстро растущая иерархия). Связь с иерархией Харди. Ординал теории, выраженный через иерархию функций. Следствие: недоказуемость теоремы Гудстейна. Подробнее про теорему Гудстейна: 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty:
Hide player controls
Hide resume playing