новости  материалы  справочник  форум  гостевая  ссылки  
Новости
Материалы
  Логические подходы
  Нейронные сети
  Генетические алгоритмы
  Разное
  Публикации
  Алгоритмы
  Применение
Справочник
Форум
Гостевая книга
Ссылки
О сайте
 

Решение

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

Назад