Similar to 量子論理
チャーチ・ロッサーの定理
Church–Rosser theorem中間論理
Intermediate logic低基底定理
Low basis theoremディック言語
Dyck language二重再帰法
Double recursion二重否定の除去
任意
Arbitrarinessハイティング代数
Heyting algebra背理法
Proof by contradictionハルモス代数
Polyadic algebra比例記号
プリンキピア・マテマティカ
Principia Mathematicaフレーゲの定理
Frege's theorem補題
Lemma (mathematics)無矛盾
Consistencyメタ言語
Metalanguageメレオロジー
Mereology有限モデル理論
Finite model theoryルジンの分離定理
Lusin's separation theorem数学
Mathematics0.999...
0.999...0次元
Zero-dimensional space0の0乗
Zero to the power of zero▲1 trends1次元
One-dimensional space1+1
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯1+2+4+8+…
1 + 2 + 4 + 8 + ⋯1の冪根
Root of unity