代替集合論の一覧

数理論理学において、代替集合論とは、集合の概念に対する代替的な数学的アプローチのいずれかであり、ツェルメロ＝フレンケル集合論の公理によって公理的集合論で記述される事実上の標準集合論に対する代替案のことである。

代替集合論には以下が含まれる：^{[ 1 ]}

• ヴォペンカの代替集合論
• フォン・ノイマン＝ベルナイズ＝ゲーデル集合論
• モース・ケリー集合論
• タルスキ＝グロタンディーク集合論
• アッカーマン集合論
• 型理論
• 新しい基盤
• 正集合論
• 内部集合論
• ポケットセット理論
• 素朴集合論
• S（集合論）
• 二重拡張集合理論
• クリプキ・プラテック集合論
• クリプキ・プラテック集合論（ウレエレメント付き）
• スコット・ポッター集合論
• 構成的集合論
• ツェルメロ集合論
• 一般集合論
• マック・レーンの集合論

• 非整礎集合論
• 一次理論の一覧 § 集合論