Similar to 緩成長階層
ダウンタック記号
Tee (symbol)チャーチ・ロッサーの定理
Church–Rosser theorem中間論理
Intermediate logicディック言語
Dyck language二重否定の除去
任意
Arbitrarinessハイティング代数
Heyting algebra背理法
Proof by contradictionハルモス代数
Polyadic algebra反例
Counterexample比例記号
プリンキピア・マテマティカ
Principia Mathematicaフレーゲの定理
Frege's theorem補題
Lemma (mathematics)無矛盾
Consistencyメタ言語
Metalanguageメレオロジー
Mereology有限モデル理論
Finite model theory四値論理
Four-valued logic量子論理
Quantum logicヴェブレン階層
Veblen function算術的階層
Arithmetical hierarchy射影集合
Projective hierarchyボレル階層
Borel hierarchy数学
Mathematics0.999...
0.999...0次元
Zero-dimensional space0の0乗
Zero to the power of zero▲1 trends