арифметики Пеано?
Ответ думаю что-то типа "столько же сколько ультрафильтров у множества натуральных чисел" или типа того. Но я фантазирую.
@clayrat
Впрочем, тот же вопрос и о второпорядковой Пеано
Пишут, что второпорядковая Пеано категорична, т.е. имеет одну модель в точности до изоморфизма, но есть разные подклассы второпорядковой Пеано, и интересно, как себя ведёт спектр этих теорий, приближаясь к полной PA2
https://plato.stanford.edu/entries/proof-theory/#BeyoAritSubsBZ2
Обсуждают сегодня