Axiom:Axiom of Infinity/Class Theory/Formulation 2

From ProofWiki
Jump to navigation Jump to search

Axiom

There exists an inductive set.


Also see


Sources