Теорема Гёделя о полноте

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Теорема Геделя о полноте является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью высказывания и его выводимостью в логике первого порядка. Впервые эта теорема была доказана Куртом Гёделем в 1929.

[править] См. также


Логика Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её.


Для улучшения этой статьи желательно?:
Источник — «http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BE_%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5»