世界大百科事典（旧版）内の公理的集合論の言及
【数学基礎論】より
…なお，基本予想自体は数学的には正しいことが(非構成的手段を用いて)高橋元男とプラビッツD.Prawitzによって，それぞれ独立に証明されている。
［公理的集合論］
ラッセルの逆理などカントルの集合論で現れたいくつかの逆理は，あまりにも多くの要素をもつようなものを集合と考えることによって生ずるものであって，これらの逆理は，まもなく，E.ツェルメロらによる集合論の公理化によって，集合の生成原理を明確に規定することにより回避できるようになった。公理的集合論における最大の成果はカントルの集合論が出現以来の中心的課題の連続体仮説の解決であって，ゲーデルおよびコーエンP.J.Cohenに負うている。…
※「公理的集合論」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」