安達さん自然数は可能無限集合=可算無限集合=有限集合だとか言ってませんでしたっけ？