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