集合论
在Zermelo-Fraenkel集合论中，你可以说