19/01/02 09:08:10.04 sdS6EuXx.net
>>89
＞１）有限モデル（>>35）m個の長さの数列の しっぽの同値類で、
＞時枝記事の手順が実行できない決定番号dの値は、mです。
貴様が愛してやまぬ有限モデルについては尋ねていない
無限モデルでは時枝記事の手順が実行できない決定番号dの値はいくつか？
と尋ねている
貴様の
「任意の有限モデルで成立することは無限モデルで成立する」
というニセ推論によれば、無限モデルでも
「時枝記事の手順が実行できない決定番号d」
が存在するということだろう。それはいくつか？と尋ねているのだ
どうした？答えられんか？サルｗ