公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）
公理
化された集合論のこと
???
他のを見る
数理論理学ＩＩ
いろいろな種類がある
ZF公理系
ZFC公理系
ZFA
ZFCG公理系
NBG
MK
構成的～
CZF
CZFA
圏論方面？
ETCS
ZFCG公理系は
宇宙際タイヒ・ミューラー理論
の論文で出てくる
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations
もっと良いと思われる基礎
Homotopy Type Theory(HoTT)
Univalent Foundations
関連
公理・定義・定理・命題・補題・系
連続体仮説
ラッセルのパラドックス
素朴集合論
参考
公理的集合論 - Wikipedia
#集合
#数学
#集合論