それに、関数と集合論は混ぜたら危険！なんだろ？ラッセルの型理論によれば。