この記事は、大部分または完全に単一の情報源に依存しています。関連する議論は ( 2023年9月) |
数理論理学において、代替集合論とは、集合の概念に対する代替的な数学的アプローチのいずれか、およびツェルメロ-フランケル集合論の公理によって公理的集合論で説明される事実上の標準集合論の代替のいずれかです。
代替集合論
代替集合論には以下のものがある: [1]
- ヴォペンカの代替集合論
- フォン・ノイマン・バーネイス・ゲーデル集合論
- モース・ケリー集合論
- タルスキ＝グロタンディーク集合論
- アッカーマン集合論
- 型理論
- 新しい基盤
- 正集合論
- 内部集合論
- ポケット集合論
- 素朴集合論
- S（集合論）
- 二重拡張集合論
- クリプキ・プラテック集合論
- 初元を含むクリプキ・プラテック集合論
- スコット・ポッター集合論
- 構成的集合論
- ツェルメロ集合論
- 一般集合論
- マクレーン集合論
参照
注記
- ^ ホームズ、M・ランドール。「代替公理的集合論」スタンフォード哲学百科事典。 2020年1月17日閲覧。
