Definition:Theory of Types

Definition
The theory of types is a system of axiomatic set theory which is originated by appending a further axiom to the axiom of abstraction stating:


 * A set cannot be an element of itself.

Also see

 * Axiom:Axiom of Foundation


 * Definition:Class Theory