Определяем арифметику PA(X) в расширенном языке с предикатом принадлежности, либо серией унарных предикатов-множеств. А также определяем исчисление PAω в секвенциальном исчислении в форме Тейта с опорой на арифметические факты из стандартной модели. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty:
Hide player controls
Hide resume playing