47/56 теорема Генцена о непротиворечивости арифметики Пеано

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