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

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

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

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