Читать книгу 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)
If a system is consistent, it cannot be complete.
KURT FRIEDRICH GÖDEL, 1906–1978:
The Incompleteness Theorem (Vienna, 1931)