いいかげん自然数という用語を廃止した方が良いと思う