Целое число: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
LGB (обсуждение | вклад) стилевые правки |
LGB (обсуждение | вклад) запятая не должна переноситься |
||
Строка 173:
Стандартный способ доказать непротиворечивость новой структуры — [[Логика высказываний|смоделировать]] (''интерпретировать'') её аксиомы с помощью объектов другой структуры, чья непротиворечивость сомнений не вызывает. В нашем случае мы должны реализовать эти аксиомы на базе пар натуральных чисел{{sfn |Числовые системы|1975|с=100—102|name=NECH100}}.
Рассмотрим всевозможные [[Пара (математика)|упорядоченные пары]] натуральных чисел <math>(a,b)</math>. Чтобы смысл дальнейших определений стал понятен, сразу поясним, что мы намерены в дальнейшем каждую такую пару рассматривать как целое число <math>a-b,</math>
Далее определим{{sfn|Энциклопедия элементарной математики|1951|с=162—168|name=EEM162}}:
|