Similar to 公理的集合論
ZFCから独立な命題の一覧
List of statements independent of ZFCΩ-論理
Ω-logicアロンシャイン木
Aronszajn tree▲1 trends正則性公理
Axiom of regularity対の公理
Axiom of pairingΔ-システム補題
Sunflower (mathematics)▲1 trends冪集合公理
Axiom of power set無限公理
Axiom of infinity和集合の公理
Axiom of unionGrundzüge der Mengenlehre
Grundzüge der Mengenlehreウラジーミル・アーノルド
Vladimir Arnoldニールス・アーベル
Niels Henrik Abelアーベル群
Abelian groupアーベル多様体
Abelian varietyラース・ヴァレリアン・アールフォルス
Lars Ahlfors会田安明
Aida Yasuaki0
01
1▲8 trends2
23
34
45
56
67
78
89
91200
1200 (number)1868