すこーれむず ぱらどっくす
Skolem's paradox
レーヴェンハイム-スコーレムの定理（Löwenheim–Skolem theorem）から
集合論の可算モデルの存在などの逆説的にもみえる系が帰結されるという
直観に反するような状況をこう呼ぶ。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2010/09/04更新
- 2010/09/04登録
- 1067クリック
「Skolem's paradox」を検索
「Skolem's paradox」に関連するキーワード
ブログパーツ
-
メイン
コメント (0)
まだコメントされていません。
つながりキーワード (1)
Russell's paradox
- (カオナシ)
素朴包括原理を認めると任意のα(x)について集合{x|α(x)}が存在することになり t∈{x|α(x)}⇔α(t)が成り立つが、 ここでα(x)≡￢(x∈x)、R≡{x|α(x)}、p≡R...
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
