Category:数理論理学関連のスタブ項目
フレーゲの定理
Frege's theorem
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
反例
Counterexample
新基礎集合論
New Foundations
チャーチ・ロッサーの定理
Church–Rosser theorem
緩成長階層
Slow-growing hierarchy
四値論理
Four-valued logic
議論領域
Domain of discourse
補題
Lemma (mathematics)
逆
Converse (logic)
メタ言語
Metalanguage
後者関数
Successor function
任意
Arbitrariness
アッカーマン関数
Ackermann function