集合を使って自然数を構成する