エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ツェルメロ=フレンケル集合論 - Wikipedia
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ツェルメロ=フレンケル集合論 - Wikipedia
集合論において、ツェルメロ=フレンケル集合論(英: Zermelo-Fraenkel set theory)とは、ラッセルのパ... 集合論において、ツェルメロ=フレンケル集合論(英: Zermelo-Fraenkel set theory)とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。名前は数学者のツェルメロとフレンケルにちなむ。歴史的に議論を呼んだ選択公理 (AC) を含むツェルメロ=フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。選択公理を含むツェルメロ=フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を[1] 、 ZFは選択公理を除いたツェルメロ (Zermelo)=フレンケル (Fraenkel) 集合論の公理を表す。 ツェルメロ=フレンケル集合論は、単一の原始概念(英語版)の形式化、すなわち整礎な純粋集合(英語版)の概念の形式化を目的としているため、議論領域内のすべての対象 (e