체르멜로-프렝켈 집합론
In Zermelo–Fraenkel set theory without the axiom of choice (ZF), the following conditions are all equivalent: