Axiom of Regularity
Sunflower (Mathematics)
Second Order Arithmetic
rd_2007en
A set x is wellfounded iff there is some y x such that yx = .