체르멜로-프렝켈 집합론
Relation to Zermelo–Fraenkel set theory.