Similar to 原始帰納的算術
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
12345679
算術の超準モデル
Non-standard model of arithmetic
初等関数算術
Elementary function arithmetic
真の算術
True arithmetic
ロビンソン算術
Robinson arithmetic
構成主義 (数学)
Constructivism (philosophy of mathematics)
実現可能性 (論理学)
Realizability
直観主義型理論
Intuitionistic type theory
ハイティング代数
Heyting algebra
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
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 + ⋯