Similar to 帰納的集合
無限公理
Axiom of infinity
メレオロジー
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 theory
ELEMENTARY
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