Description: The class of all Tarski classes. Tarski classes is a phrase coined by
Grzegorz Bancerek in his articleTarski's Classes and Ranks, Journal
of Formalized Mathematics, Vol 1, No 3, May-August 1990. A Tarski class
is a set whose existence is ensured by Tarski's axiom A (see ax-groth and the equivalent axioms). Axiom A was first presented in Tarski's
articleUeber unerreichbare Kardinalzahlen. Tarski introduced the
axiom A to enable ZFC to manage inaccessible cardinals. Later
Grothendieck introduced the concept of Grothendieck universes and showed
they were equal to transitive Tarski classes. (Contributed by FL, 30-Dec-2010)