>>991
つまりあなたの主張は
『”ある有限値D を与えて、可算無限数列の決定番号がD以下になるようにできる”が時枝解法成立のための必要条件である』
ということでよいですね？
では上記条件が必要である理由を示して下さい。