Предположим, что 2 = 4. По определениям чисел 2 и 4 это значит,
что 1'= 3'. По аксиоме 2 отсюда следует, что 1 = 3.
По определениям 1 и 3 это значит, что 0' = 2'.
По аксиоме 2 отсюда следует, что 0 = 2.
По определению 2 это значит, что 0 = 1', и это противоречит аксиоме 1.
Назад
|