История изменений
Исправление
Crocodoom,
(текущая версия)
:
Все не засунешь, сколько не старайся. Это напрямую следует из теоремы.
Доказательство: Допустим, мы засунули в систему аксиом все такие невыводимые формулы. Применим для этой системы теорему Геделя. Ч.Т.Д.
Исправление
Crocodoom,
:
Все не засунешь, сколько не старайся. Это напрямую следует из теоремы.
Доказательство: Допустим, мы засунули в систему аксиом все такие неприводимые формулы. Применим для этой системы теорему Геделя. Ч.Т.Д.
Исходная версия
Crocodoom,
:
Все не засунешь, сколько не старайся. Это напрямую следует из теоремы