Сколемская арифметика (значения) - Skolem arithmetic (disambiguation)
Сколемская арифметика может относиться к нескольким различным типам арифметики.
- Сколемская арифметика, арифметика положительных чисел с умножением и равенством.
- Примитивная рекурсивная арифметика, бескванторная формализация натуральных чисел.
- Истинная арифметика, верны утверждения о стандартных натуральных числах.
 | Этот устранение неоднозначности на странице перечислены статьи, связанные с заголовком Сколемская арифметика. Если внутренняя ссылка привел вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью. |