Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя
Метаматематика

Что такое теорема Гёделя о неполноте и о полноте? Зачем она нужна?

Анонимный вопрос  · 1 ответ
Теорема Гёделя о неполноте: "Любая формальная система аксиом содержит неразрешенные предположения". Вторая теорема звучит так: "Логическая полнота (или неполнота) любой системы аксиом не... Читать далее