  This paper provides a complete suite of axioms for a version of set theory
that I call Explication. Explication borrows from the two most prominent
existing systems of set theory. Explication starts with class variables. After
several steps, some of these class variables are identified as sets. The most
crucial step is to identify classes which can explicitly say, in a finite
statement, which other classes are its members. The reader is cautioned that
the suite of axioms presented is a complete treatment of Explication.
Statements which may or may not be true in other axiom systems are not
significant.
