46/55 доказательный ординал теории

Определение теоретико-доказательственного ординала арифметической теории второго порядка. Тонкости использования переменных-множеств в данном определении. Пример Крайзеля недоказуемо фундированного порядка типа ω. Ординалы некоторых арифметических теорий. Ординал Γ0 Фефермана-Шютте. Напоминание определения последовательности Веблена. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: Добавление: заметил ошибку - ординалом теории ACA является \epsilon_{\epsilon_0}