Similar to 宇宙_(数学)
論理プログラミング
Logic programming計算理論
Theory of computation幾何学基礎論
Foundations of geometry形式主義 (数学)
Philosophy of mathematics#Formalism公理
Axiomコンパクト性定理
Compactness theorem充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference直観主義 (数学の哲学)
Intuitionism全称記号
Universal quantification超実数
Hyperreal number直観主義型理論
Intuitionistic type theoryツェルメロ=フレンケル集合論
Zermelo–Fraenkel set theoryパラドックス
Paradox▲1 trendsフォン・ノイマン=ベルナイス=ゲーデル集合論
Von Neumann–Bernays–Gödel set theory無矛盾
Consistency数学
Mathematics▲1 trends0.999...
0.999...▲2 trends0次元
Zero-dimensional space0の0乗
Zero to the power of zero1次元
One-dimensional space1+1
1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1+2+3+4+…
1 + 2 + 3 + 4 + ⋯1+2+4+8+…
1 + 2 + 4 + 8 + ⋯1の冪根
Root of unity1の補数
Ones' complement1−1+2−6+24−120+…
1 − 1 + 2 − 6 + 24 − 120 + ⋯