Similar to カントールの定理
冪集合
Power set冪集合公理
Axiom of power setベリーのパラドックス
Berry paradoxベン図
Venn diagram無限公理
Axiom of infinityメレオロジー
Mereologyモストフスキ崩壊補題
Mostowski collapse lemma有限交叉性
Finite intersection property有限集合
Finite setラショーヴァ=シコルスキの補題
Rasiowa–Sikorski lemmaリシャールのパラドックス
Richard's paradox累積的階層
Cumulative hierarchy連続体 (集合論)
Continuum (set theory)連続体濃度
Cardinality of the continuum和集合
Union (set theory)和集合の公理
Axiom of unionワニのパラドックス
Crocodile dilemma演繹定理
Deduction theoremカット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolationゲーデルの加速定理
Gödel's speed-up theoremコンパクト性定理
Compactness theoremチャーチ・ロッサーの定理
Church–Rosser theoremパリス=ハーリントンの定理
Paris–Harrington theoremフレーゲの定理
Frege's theoremポストの定理
Post's theoremライスの定理
Rice's theoremレーヴェンハイム–スコーレムの定理
Löwenheim–Skolem theorem