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

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

【数学基礎論】より

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

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

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

今日のキーワード

スキマバイト

働き手が自分の働きたい時間に合わせて短時間・単発の仕事に就くこと。「スポットワーク」とも呼ばれる。単発の仕事を請け負う働き方「ギグワーク」のうち、雇用契約を結んで働く形態を指す場合が多い。働き手と企...

スキマバイトの用語解説を読む

コトバンク for iPhone

コトバンク for Android