19/01/14 16:34:53.16 U+rcrUOh.net
>>107
>どんな、決定番号の100個に組みに対しても
>有限モデルが最低一つは（本当は一つではないが）構成できる
有限モデルじゃ、いくら無数にあっても無駄ですよ
ペアノの公理に反する限り、終端のｍが存在しますから
終端のｍが決定番号の場合、ｍ＋１以降の箱が開けられませんから
時枝問題の前提に合致せず、却下されます
19/01/14 16:34:53.16 U+rcrUOh.net
>>107
>どんな、決定番号の100個に組みに対しても
>有限モデルが最低一つは（本当は一つではないが）構成できる
有限モデルじゃ、いくら無数にあっても無駄ですよ
ペアノの公理に反する限り、終端のｍが存在しますから
終端のｍが決定番号の場合、ｍ＋１以降の箱が開けられませんから
時枝問題の前提に合致せず、却下されます