Inter universal geom ..
15:１３２人目の素数さん
21/08/01 14:58:31.00 8szAMdzl.net
本日の傑作書き込み
ｽﾚﾘﾝｸ(math板:965番)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
965１３２人目の素数さん2021/08/01(日) 14:16:59.02ID:w67oYbiw
>>レーヴェンハイム・スコーレムの下方定理もあるよ
>有限モデルが存在する、と書いてあります？ 書いてないですよね
>可算モデルが存在する、としか書いてないですよね？
可算無限集合には、自明に有限集合を含むでしょ？ 書かなくてもね
そして、･･･”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、
mod nを考えたら、有限モデルできますよ
おっと、変な例作って、「この例は成り立たない」とか言わないようにね
めんどくさいので、応答しませんよ
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
255日前に更新/513 KB
担当:undef