ABSTRACT
To avoid extraneous complexities, we shall confine our attention to classes, leaving out relations which could be added with the help of ordered pairs either as another primitive as in Peano or as defined in some suitable manner. Also, we shall, for the moment, stay away from semantic notions such as truth and denotation.
