Утверждение об объектах исчисления предикатов, подлежащее доказательству, называется
Аксиомы исчисления предикатов формируются из
В исчисления предикатов существуют кванторы
Правила вывода исчисления предикатов формируются из
Теорема Гёделя о полноте исчисления предикатов утверждает, что
Исчисление предикатов называется разрешимым, если
Множество, которое может быть порождено некоторой вычислимой функцией, называется:
Формулы в исчислении предикатов образуются с помощью
Множество называется перечислимым, если
