Математическая энциклопедия
минимальное исчисление предикатов,- исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е.
(t- произвольный терм), модус поненс и
(переменная ане входит в (х)и в С).
Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960.
С. К. Соболев.