Actually one can restrict oneself to the case that there is just a
single first-order variable x available - such a logic is formulated
in Hilbert and Ackermann and called the Calculus of Classes. However
this is not the traditional formulation of the Calculus of Classes.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.