24. Теорема Гудстейна

0:14 - формулировка теоремы Гудстейна 15:25 - функция подстановки супероснования 17:17 - лемма о строгой монотонности 42:57 - доказательство теоремы Гудстейна 52:20 - обсуждение теоремы и смежных проблем матлогики 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: