Similar to 帰納言語
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理プログラミング
Logic programming
独立性 (数理論理学)
Independence (mathematical logic)
数学
Mathematics
0.999...
0.999...
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+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' complement
1−1+2−6+24−120+…
1 − 1 + 2 − 6 + 24 − 120 + ⋯1−2+3−4+…
1 − 2 + 3 − 4 + ⋯1−2+4−8+…
1 − 2 + 4 − 8 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯