集合論
集合
を扱う理論
数学の基礎理論
関連する人物
ゲオルク・カントール
ラッセル
ツェルメロ
フレンケル
フォン・ノイマン
公理系
ZF公理系
ZFC公理系
NBG
MK
下記は調べた感じ集合論としての関連がありそう
型理論
Homotopy Type Theory(HoTT)
確認用
Q. 集合論
参考
色々な集合論の公理系 - 進捗置き場というわけでもない場所