A formula of PM with just one
free variable, and that of the type of
the natural numbers (class of classes),
we shall designate a class-sign.