純粋・応用数学（含むガロア理論）4

純粋・応用数学（含むガロア理論）4at MATH

純粋・応用数学（含むガロア理論）4 - 暇つぶし2ch472: ¨LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020 (抜粋) Ｐ67 In the following discussion, we shall work with various models ? consisting of “sets” and a relation “∈” ? of the standard ZFC axioms of axiomatic set theory [i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ?cf., e.g., [Drk], Chapter 1, §3]. https://ja.wikipedia.org/wiki/%E5%8D%81%E4%B8%83%E6%9D%A1%E6%86%B2%E6%B3%95 十七条憲法 https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf 構成的集合と公理的集合論入門渕野昌 (平成 27 年) Ｐ26 BG はベルナイスによる [Bernays 1937] で導入された公理系Ｐ27 ZFC と異なり，BG は有限個の公理で公理化可能なことが知られている（[G¨odel 1940] を参照）．次の定理により，BG と ZF または BGC と ZFC は（集合に対する命題に関しては）全く同等な公理系になっていることがわかる． https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 ZF 公理系 https://tnomura9.exblog.jp/22093775/ tnomuraのブログフォンノイマン・ベルナイス・ゲーデル集合論（NBG） 2015-08-30

次ページ

続きを表示

1を表示