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