От Игорь Ответить на сообщение
К Miguel Ответить по почте
Дата 06.02.2006 20:57:22 Найти в дереве
Рубрики Теоремы, доктрины; Практикум; Семинар; Версия для печати

Формализованные системы вообще принципиально неполны

Это даже можно доказать математически