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