>>379

ごめん
空集合から初めて自然数を定義してくことかと思った