Similar to 補題
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
スーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic
低基底定理
Low basis theorem
ディック言語
Dyck language二重再帰法
Double recursion
二重否定の除去
任意
Arbitrariness
ハイティング代数
Heyting algebra
背理法
Proof by contradiction▲3 trendsハルモス代数
Polyadic algebra
比例記号
プリンキピア・マテマティカ
Principia Mathematica
フレーゲの定理
Frege's theorem無矛盾
Consistency
メタ言語
Metalanguage
メレオロジー
Mereology
有限モデル理論
Finite model theory
四値論理
Four-valued logic
量子論理
Quantum logic
ルジンの分離定理
Lusin's separation theorem一意性 (数学)
Uniqueness quantification
可換図式
Commutative diagram
