|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 構成 ： [こうせい] 1. (n,vs) organization 2. organisation 3. configuration 4. composition ・ 構成可能 ： [こうせいかのう] (n) configurable ・ 可 ： [か] 1. (n,n-suf) passable ・ 可能 ： [かのう] 1. (adj-na,n) possible 2. practicable 3. feasible ・ 能 ： [よく, のう] 1. (adv,n,vs) being skilled in 2. nicely 3. properly 4. well 5. skillfully 6. thoroughly ・ 集 ： [しゅう] 【名詞】 1. collection ・ 集合 ： [しゅうごう] 1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set ・ 合 ： [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m)
ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。 ゲーデルは、構成可能集合からなるクラス（通常 ''L'' と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。彼はさらに、''L'' が一般連続体仮説を満たすことも示した。これによって、ZF が無矛盾ならば ZFC に一般連続体仮説を加えたものも無矛盾であることが証明された。 ''L'' はそれ以外にもたくさんの興味深い性質を持っていることがわかっている。 ==定義== すべての順序数 α に対して、集合 ''L''α を次のように再帰的に定義する： # 、 # が極限順序数のとき、 、 # は、 上で集合論の言語による一階の論理式と有限個のパラメータによって定義可能な集合全体の集合とする。 ある順序数 α に対して ''x'' ∈ ''L''α であるような集合 ''x'' を構成可能集合と呼ぶ。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「構成可能集合」の詳細全文を読む スポンサード リンク
|