Читать книгу An Exceptionally Simple Theory (of Absolutey Everything) - Mark Winkler - Страница 4
На сайте Литреса книга снята с продажи.
ОглавлениеIf a system is consistent, it cannot be complete.
KURT FRIEDRICH GÖDEL, 1906–1978:
The Incompleteness Theorem (Vienna, 1931)