集合論 - pogi-log

集合論

集合を扱う理論

数学の基礎理論

関連する人物

ゲオルク・カントール

ツェルメロ

フレンケル

フォン・ノイマン

公理系

下記は調べた感じ集合論としての関連がありそう

Homotopy Type Theory(HoTT)

Kripke–Platek set theoryというのもある

確認用

Q. 集合論

参考

色々な集合論の公理系 - 進捗置き場というわけでもない場所