21/12/10 07:32:54.09 TDfmt48z.net
>>71
つづき
URLﾘﾝｸ(fujicategory.hatenadiary.org)
数学基礎論の勉強ノート
fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
公理系Ｔが無限モデルを持てば、可算モデルも不可算モデルも持ちますよ！それどころかどんな大きな濃度のモデルも持ちますよ！っていう定理です。ちょっとテンションが上がってきますねー(∩´∀｀)∩
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
１．言語Ｌでの公理系Ｔがどんなにも大きい有限モデルをもてば あるいは無限モデルをもてば
（つまり∀ n ∃ M [M |= T\& card (|M|) >= n ] ，
どんな無限基数κ>=card(L)についても
ＴのモデルNで濃度κのものが存在する．
(引用終り)
以上