それ自然数の定義に使えるかも