集合論によって記述可能