# Axiom:Axiom of Infinity/Class Theory/Formulation 3/Historical Note

Raymond M. Smullyan and Melvin Fitting introduce this formulation of the Axiom of Infinity in their Set Theory and the Continuum Problem, Revised ed. of $2010$ as: