Описана модель доводить, що наведена аксіоматика цілих чисел несуперечлива. Тому що якби у ній була суперечність, то це означало б суперечність і в базовій для даної моделі арифметиці натуральних чисел, яку ми заздалегідь припустили несуперечливою. Потужність множини