世界大百科事典（旧版）内のFraenkel,A.A.の言及
【連続体問題】より
…カントル以降カントルの素朴な集合論を公理を使って再構成する公理的集合論が展開され，連続体仮説の正否をめぐって研究が続けられた。1940年，K.ゲーデルはツェルメロE.F.F.Zermelo(1871‐1953)とフレンケルA.A.Fraenkel(1891‐ )によって提出された集合論の公理系がその内部に矛盾を含んでいなければ，この公理系(ZF公理系)に連続体仮説と選択公理をつけ加えたものも内部に矛盾を含まないことを示した。さらに63年，コーエンP.J.Cohen(1934‐ )は，ZF公理系と連続体仮説と選択公理は独立であることを示した。…
※「Fraenkel,A.A.」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」