체르멜로-프렝켈 집합론
In Zermelo–Fraenkel set theory (ZF), for any cardinals "κ" and "μ", there is an ordinal "α" such that: