集合論から自然数を作るときにφを０とするだろ？
aと{a}を区別すべきといいたかったんだろうが。