Минимальное функциональное исчисление

, " минимальное исчисление предикатов,- исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е. [img: http://localhost:8080/file/031412-33.jpg] (t- произвольный терм), модус поненс и [img: http://localhost:8080/file/031412-34.jpg] (переменная ане входит в (х)и в С).