Similar to 帰納的集合
メレオロジー
Mereologyモストフスキ崩壊補題
Mostowski collapse lemma有限交叉性
Finite intersection property有限集合
Finite setラショーヴァ=シコルスキの補題
Rasiowa–Sikorski lemmaリシャールのパラドックス
Richard's paradox累積的階層
Cumulative hierarchy連続体 (集合論)
Continuum (set theory)連続体仮説
Continuum hypothesis連続体濃度
Cardinality of the continuum和集合
Union (set theory)和集合の公理
Axiom of unionワニのパラドックス
Crocodile dilemma計算可能性理論
Computability theoryELEMENTARY
Elementary recursive function解析的階層
Analytical hierarchy緩成長階層
Slow-growing hierarchy急成長階層
Fast-growing hierarchy極限計算可能関数
Computation in the limitグジェゴルチク階層
Grzegorczyk hierarchyクリーネの再帰定理
Kleene's recursion theorem計算可能解析学
Computable analysis計算可能数
Computable numberケーニヒの補題
Kőnig's lemmaコンプリート・ナンバリング
Complete numbering帰納的分離不能対
Computably inseparable実効ポーランド空間
Effective Polish space創造的集合と生産的集合
Creative and productive sets