Similar to 恒真式
推論
Inference
中間論理
Intermediate logic
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
補題
Lemma (mathematics)
有限モデル理論
Finite model theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
意味論 (論理学)
Semantics
ゲーム意味論
Game semantics再帰的定義
Recursive definition
Μ再帰関数
General recursive function
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/100
Hundredth
Axiom (数式処理システム)
Axiom (computer algebra system)
CR多様体
CR manifold
LaTeX
LaTeX
Mathematica
Wolfram Mathematica
真理値表
Truth table
命題論理
Propositional calculus
紀元前29世紀
29th century BC
紀元前28世紀
28th century BC
紀元前27世紀
27th century BC