Inter universal geom ..
19:１３２人目の素数さん
21/08/01 15:52:51.33 w67oYbiw.net
>>16
おサル必死で笑える
有限集合と無限集合では、当然異なる部分ありますよね
必死で重箱の隅をつついて、失地挽回ですか？
笑えます
無限集合でしか成り立たない項目を挙げて
「これは、有限集合では成り立たない」
そういう主張は無意味ですよ
同様に、連続無限でしか成り立たない性質で、可算無限集合では成り立たない例を取り上げて、
「これが下記のレーヴェンハイム-スコーレムの定理の反例」という主張、それはお笑いでしかない
アホやｗ
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム?スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
261日前に更新/513 KB
担当:undef