Fraenkel, AA (English spelling)

…After Cantor, axiomatic set theory was developed, which reconstructed Cantor's simple set theory using axioms, and research continued on the validity of the continuum hypothesis. In 1940, K. Gödel showed that if the axiom system of set theory proposed by EFF Zermelo (1871-1953) and AAFraenkel (1891- ) does not contain internal contradictions, then the axiom system (ZF axiom system) to which the continuum hypothesis and axiom of choice are added also does not contain internal contradictions. Furthermore, in 1963, PJ Cohen (1934- ) showed that the ZF axiom system, the continuum hypothesis, and the axiom of choice are independent. …

*Some of the terminology explanations that mention "Fraenkel, AA" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…カントル以降カントルの素朴な集合論を公理を使って再構成する公理的集合論が展開され，連続体仮説の正否をめぐって研究が続けられた。1940年，K.ゲーデルはツェルメロE.F.F.Zermelo(1871‐1953)とフレンケルA.A.Fraenkel(1891‐　)によって提出された集合論の公理系がその内部に矛盾を含んでいなければ，この公理系(ZF公理系)に連続体仮説と選択公理をつけ加えたものも内部に矛盾を含まないことを示した。さらに63年，コーエンP.J.Cohen(1934‐　)は，ZF公理系と連続体仮説と選択公理は独立であることを示した。…

※「Fraenkel，A.A.」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報