断片化された時間軸の上でモデル論けっこう当たり前に考えてることが実は人に説明するのにまごついたり。任意の無矛盾な理論Tのモデルは非可算無限個存在する。」をね、ちゃちゃっと証明しようと思ったんだけどなんか穴があるっぽい。簡単な証明があるんだろうなぁ。Tからは証明も否定もできない命題をφとかして(その存在性はゲーデルの第1不完全性定理より)Tにφを加えたものをT1Tにφの否定を加えたものをT0とかする。T1からは証明も否定もできない命題をφ1とかしてT1にφ1を加えたものをT11T1にφ1の否定を加えたものをT10とかする。みたいな作り方を無限回すればTを含む理論が非可算無限個できる。それらは無矛盾だからモデルをもち、Tのモデルとなる。それぞれ別のモデルだから理論Tのモデルは非可算個ある。(6)ブログ内検索グリムスブログパーツ型環境貢献サイトグリムス(gremz)http://www.gremz.comフリーエリア無料アクセスアップ!トラフィックエクスチェンジャーリンクよりいブログ。