Теорема Гёделя о полноте исчисления предикатов утверждает, что

Теорема Чёрча утверждает, что

Исчисления предикатов

В исчисления предикатов существуют кванторы

Аксиомы исчисления предикатов формируются из

Правила вывода исчисления предикатов формируются из

Утверждение об объектах исчисления предикатов, подлежащее доказательству, называется

Утверждение о некоторой теореме исчисления предикатов, подлежащее доказательству, называется

Формулы в исчислении предикатов образуются с помощью

Исчисление предикатов называется разрешимым, если