Category:数理論理学関連のスタブ項目
ハイティング代数
Heyting algebra
逆含意
Converse implication
メタ言語
Metalanguageクレイグの補間定理
Craig interpolation
シュタイニッツ数
Supernatural number
背理法
Proof by contradiction
形式論理学
Formal logic
カット除去定理
Cut-elimination theorem
ディック言語
Dyck language
量子論理
Quantum logic
メレオロジー
Mereology
推論
Inference
補題
Lemma (mathematics)
任意
Arbitrariness
恒真式
Tautology (logic)