Similar to ダイヤモンド原理
ZFCから独立な命題の一覧
List of statements independent of ZFCΩ-論理
Ω-logicアロンシャイン木
Aronszajn tree▲1 trendsΔ-システム補題
Sunflower (mathematics)▲1 trendsヒュームの原理
Hume's principleGrundzüge der Mengenlehre
Grundzüge der Mengenlehre0
01
12
23
3▲1 trends4
45
56
67
78
89
912345679
代替集合論
List of alternative set theories集合論
Set theory非有基的集合論
Non-well-founded set theoryTemplate:集合論
Template:Set theory外延
Extension (semantics)内包と外延
Intension集合
Set (mathematics)内包
遺伝的有限集合
Hereditarily finite set宇宙 (数学)
Universe (mathematics)オイラー図
Euler diagram