>>353
別に定まった必要ないんじゃない
可算無限個の自然数が決まると決定番号が決まるだけでいいじゃない