Обсуждение:Логика первого порядка
Материал из Википедии — свободной энциклопедии
[править] TODO
- В аксиоматику - добавить альтернативные аксиоматики, в частн. Генцена.
- Добавить свойства (полнота, непротеворечивость, неразрешимость), основные результаты (теорема Левингейма-Сколема, и.т.д.) + характерные особенности особенности отличающие от остальных логик.
- Методы автоматического доказательства: резолюция, табло.
- Перечислить важнейшие теории первого порядка: равенство, группы, теория множеств, и т.д.
Хацкер 09:46, 11 апреля 2007 (UTC)
