普通にやろうと思えば集合論の範囲でできそうだけどね。
それでできないなら何か問題がある。