Выдержка из книги
Клини С.К.
Введение в математику
V, 3, если логическим исчислением служит исчисление предикатов; эти же символы и -, если логическим исчислением служит исчисление предикатов с равенством. Постулатами, помимо постулатов логического исчисления, служит конечное или бесконечное множество нелогических аксиом.
