Category:数理論理学関連のスタブ項目
スーダン関数
Sudan function
逆含意
Converse implication
チャーチ・ロッサーの定理
Church–Rosser theorem
ハルモス代数
Polyadic algebra無矛盾
Consistency
緩成長階層
Slow-growing hierarchy
中間論理
Intermediate logic
逆
Converse (logic)
プリンキピア・マテマティカ
Principia Mathematica
メタ言語
Metalanguage
任意
Arbitrariness
形式論理学
Formal logic
補題
Lemma (mathematics)
ショアのアルゴリズム
Shor's algorithm
