체르멜로-프렝켈 집합론
in Zermelo–Fraenkel set theory, one would write