История изменений
Исправление iVS, (текущая версия) :
Так вот, не известно, нет ли противоречий в определении множества натуральных чисел
Пока работает, и ладно. Если огалтело пытаться доказать всё, эта цель недостижима. Но это уже Гёдель.
Исходная версия iVS, :
Так вот, не известно, нет ли противоречий в определении множества натуральных чисел
Пока работает, и ладно. Если огалтело пытаться доказать всё, эта цель недостижима. Но это уже Гегель.