Category:数理論理学関連のスタブ項目
ダウンタック記号
Tee (symbol)
比例記号
補題
Lemma (mathematics)
メタ言語
Metalanguage
新基礎集合論
New Foundations
型理論
Type theory
カット除去定理
Cut-elimination theorem
アリティ
Arity
逆
Converse (logic)
アッカーマン関数
Ackermann function
後者関数
Successor function
形式論理学
Formal logic
背理法
Proof by contradiction
プリンキピア・マテマティカ
Principia Mathematica