出典:Wiktionary
axiom of regularity (uncountable)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/03 10:00 UTC 版)
In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo-Fraenkel set theory and was introduced by . In first-order logic the axiom reads: