還元つったら集合論で十分じゃん。