История изменений
Исправление
Crocodoom,
(текущая версия)
:
не допускающего противоречивых высказываний
man теорема гёделя
Не путай противоречивость и невыводимость
Противоречивость: Возможно одновременно доказать X и !X Невыводимость: невозможно доказать X и невозможно доказать !X
Теорема Геделя утверждает, что в достаточно сложных системах аксиом существуют невыводимые формулы.
Исправление
Crocodoom,
:
не допускающего противоречивых высказываний
man теорема гёделя
Не путай противоречивость и невыводимость
Противоречивость: Возможно одновременно доказать X и !X Невыводимость: невозможно доказать X и невозможно доказать !X
Исходная версия
Crocodoom,
:
не допускающего противоречивых высказываний
man теорема гёделя
Не путай противоречивость и невыводимость