Similar to グッドスタインの定理
カントールの定理
Cantor's theorem
アルゴリズム
Algorithm
エルブランの定理
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
宇宙 (数学)
Universe (mathematics)
オイラー図
Euler diagram
完全関係
Connected relation
カントール集合
Cantor set
カントールの対角線論法
Cantor's diagonal argument
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)
推移関係
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チューリングジャンプ
Turing jump