El axioma de regularidad dado aquí se debe a Zermelo [1930], si bien von Neumann presentó uno equivalente [1929], aunque más complicado.