체르멜로-프렝켈 집합론
Zermelo–Fraenkel set theory with the axiom of choice