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

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

💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
  1. Math as a Foreign Language
  2. Gentzen thorem
  3. теорема Генцена
  4. proof of consis(PA)
  5. доказательство непротиворечивости арифметики Пеано
visit shbcf.ru