Теорема Гёделя о полноте
Материал из Википедии — свободной энциклопедии
Теоре́ма Гёделя о полноте́ исчисле́ния предика́тов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью высказывания и его выводимостью в логике первого порядка. Впервые эта теорема была доказана Куртом Гёделем в 1929.
|
Формула является выводимой в исчислении предикатов первого порядка тогда и только тогда, когда она общезначима (истинна в любой интерпретации при любой подстановке). |
См. также [править]
 |
Это заготовка статьи по математической логике. Вы можете помочь проекту, исправив и дополнив её. |
 |
В другом языковом разделе есть более полная статья Gödel's completeness theorem (англ.)
Вы можете помочь проекту, расширив текущую статью с помощью перевода.
|
 |
В этой статье не хватает ссылок на источники информации.
Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 18 июля 2011. |
