Similar to フレーゲの定理
5
56
67
78
89
91048576
12345679
Template:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)型理論
Type theory緩成長階層
Slow-growing hierarchy逆
Converse (logic)逆含意
Converse implication議論領域
Domain of discourse形式論理学
Formal logic後者関数
Successor function恒真式
Tautology (logic)証明 (数学)
Mathematical proof新基礎集合論
New Foundations推論
Inferenceスーダン関数
Sudan functionダウンタック記号
Tee (symbol)中間論理
Intermediate logic低基底定理
Low basis theoremディック言語
Dyck language二重再帰法
Double recursion任意
Arbitrarinessハイティング代数
Heyting algebra