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