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

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

【数学基礎論】より

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

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

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

4月1日の午前中に、罪のないうそをついて人をかついでも許されるという風習。また、4月1日のこと。あるいは、かつがれた人のこと。四月ばか。万愚節。《季 春》[補説]西洋もしくはインドに始まる風習で、日本...

エープリルフールの用語解説を読む