Similar to 二重再帰法
スーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic
ディック言語
Dyck language
二重否定の除去
任意
Arbitrariness
ハイティング代数
Heyting algebra
背理法
Proof by contradiction▲2 trendsハルモス代数
Polyadic algebra
反例
Counterexample
比例記号
プリンキピア・マテマティカ
Principia Mathematica
フレーゲの定理
Frege's theorem
補題
Lemma (mathematics)無矛盾
Consistency
メタ言語
Metalanguage
メレオロジー
Mereology
有限モデル理論
Finite model theory
四値論理
Four-valued logic
量子論理
Quantum logic
ルジンの分離定理
Lusin's separation theorem
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
