Similar to グッドスタインの定理
カントールの定理
Cantor's theorem
アルゴリズム
Algorithm▲1 trends
エルブランの定理
Herbrand's theorem
ゲーデルの完全性定理
Gödel's completeness theorem
ゲーデルの不完全性定理
Gödel's incompleteness theorems
タルスキの定義不可能性定理
Tarski's undefinability theorem
アッカーマン関数
Ackermann function
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω-論理
Ω-logic
アロンシャイン木
Aronszajn tree▲1 trends
宇宙 (数学)
Universe (mathematics)
オイラー図
Euler diagram
完全関係
Connected relation
カントール集合
Cantor set
カントールの対角線論法
Cantor's diagonal argument
推移関係
Transitive relation
対称関係
Symmetric relation
Δ-システム補題
Sunflower (mathematics)▲1 trends
反射関係
Reflexive relation
メレオロジー
Mereology
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
カット除去定理
Cut-elimination theorem
ギルモアのアルゴリズム
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithmクレイグの補間定理
Craig interpolation
チューリング次数
Turing degree