構成可能性公理(読み)こうせいかのうせいこうり

世界大百科事典(旧版)内の構成可能性公理の言及

【数学基礎論】より

L0={φ};αが孤立数,すなわちα=β+1のとき,Lα=Def(Lβ);αが極限数のとき,集合aLαの要素であるとき,aを構成可能な集合と呼び,構成可能な集合の全体をLとする。VをZFの集合の全体(ユニバースと呼ばれる)とするとき,VLを構成可能性公理という。ゲーデルは,⊿=〈L,∈〉がZFのモデルをなし,しかも⊿ではVLが満たされ,かつVLからZFの公理だけを用いて選択公理と一般連続体仮説とが導かれることを証明したのである。…

※「構成可能性公理」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

今日のキーワード

プラチナキャリア

年齢を問わず、多様なキャリア形成で活躍する働き方。企業には専門人材の育成支援やリスキリング(学び直し)の機会提供、女性活躍推進や従業員と役員の接点拡大などが求められる。人材の確保につながり、従業員を...

プラチナキャリアの用語解説を読む

コトバンク for iPhone

コトバンク for Android