代替集合論
代替的な集合論には次のようなものがある:
フォン・ノイマン=ベルナイス=ゲーデル集合論
モース・ケリー集合論
タルスキ・グローセンディーク集合論
アッカーマン集合論
型理論
新基礎集合論
肯定的集合論
内部集合論
素朴集合論
S(集合論)
クリプケ・プラテック集合論
スコット・ポッター集合論
構成的集合論