There is certainly no thought that series are merely invented "fictions", and the symbol 'Ser' for them is "incomplete" only in that it can be explicitly defined as the intersection of other classes (a class of classes) and classes are themselves "incomplete".
For example, the class multiMediaService, a sub-class of class service, illustrates features of multi-media service on the concerned device.
The chapter discusses recent developments and successes in the design, synthesis, and optimization of different chemical classes of class I and II HDAC inhibitors.
The simple "extensional" hierarchy of individuals, classes, classes of classes, … is then enough.
Alternative simpler formulations, which retain only the notion of classes, classes of classes, etc., were formulated by Gödel and Tarski.
One cannot quantify over sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc.; and one cannot quantify over relations among formulae and sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc.
The next type consists of classes or ranges of individuals; then one has classes of classes of objects of the lowest type, and so on.
Variables for classes of individuals (all the variables of LCC) are of order 2. Variables for classes of classes of individuals are of order 3, and so on.
The relation of satisfaction for LGTC is intuitively a relation among formulae and sequences of: sequences of individuals, sequences of classes of individuals, sequences of classes of classes of individuals, etc.
