for axiomatic nonstandard analysis. See also Alternative set theory Universal set Turtles all the way down Notes References ; translation in Further reading External links Metamath page on the axiom of Regularity. Fewer than 1% of that database's theorems are ultimately dependent on this axiom, as can be shown by a command ("show usage") in the Metamath program. Self-reference Systems of set theory Wellfoundedness