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