Решение

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