19/01/02 08:52:09.68 7ZMnqgUY.net
>>61
>だからそれを既出だと言ってるんですが、解らない人ですねえ
認めたくなんでしょ？ 不都合な真実を
時枝の（証明）（カッコつき）では、有限モデルを構築できてしまう
だから、それは、「時枝の（証明）（カッコつき）が成り立っていない」と
19/01/02 08:52:09.68 7ZMnqgUY.net
>>61
>だからそれを既出だと言ってるんですが、解らない人ですねえ
認めたくなんでしょ？ 不都合な真実を
時枝の（証明）（カッコつき）では、有限モデルを構築できてしまう
だから、それは、「時枝の（証明）（カッコつき）が成り立っていない」と