20/02/17 18:35:50.75 OIES02uk.net
>>746
> いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないこと
それでも有限と無限が同じではないでしょう
>>754
> 共通のシッポの決定番号が有限ｍであったことに矛盾する
> この矛盾は、決定番号が有限ｍとしたことに起因する
間違い
「共通のシッポの決定番号が有限にならない」ことは可算無限集合に起因する
スレ主は自然数
20/02/17 18:35:50.75 OIES02uk.net
>>746
> いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないこと
それでも有限と無限が同じではないでしょう
>>754
> 共通のシッポの決定番号が有限ｍであったことに矛盾する
> この矛盾は、決定番号が有限ｍとしたことに起因する
間違い
「共通のシッポの決定番号が有限にならない」ことは可算無限集合に起因する
スレ主は自然数