Сколемская арифметика (значения) - Википедия - Skolem arithmetic (disambiguation)

Сколемская арифметика может относиться к нескольким различным типам арифметики.

• Сколемская арифметика, арифметика положительных чисел с умножением и равенством.
• Примитивная рекурсивная арифметика, бескванторная формализация натуральных чисел.
• Истинная арифметика, верны утверждения о стандартных натуральных числах.

Страница устранения неоднозначности, содержащая ссылки на темы, на которые может ссылаться один и тот же поисковый запрос Этот устранение неоднозначности на странице перечислены статьи, связанные с заголовком Сколемская арифметика. Если внутренняя ссылка привел вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью.