such that, when
is taken away, there remains a class of
terms. Now applying this definition, we see that, in the case supposed,
is a class consisting of no classes, i.e. it is the null-class. The same will be true of
, or generally of
such that, when
is taken away, there remains a class of
terms. Now applying this definition, we see that, in the case supposed,
is a class consisting of no classes, i.e. it is the null-class. The same will be true of
, or generally of