Similar to 演繹定理
論理包含
Material conditional
カット除去定理
Cut-elimination theorem
カントールの定理
Cantor's theorem
グッドスタインの定理
Goodstein's theoremクリーネの再帰定理
Kleene's recursion theoremクレイグの補間定理
Craig interpolation
ゲーデルの加速定理
Gödel's speed-up theorem
ケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
チャーチ・ロッサーの定理
Church–Rosser theorem
パリス＝ハーリントンの定理
Paris–Harrington theorem
ベルンシュタインの定理
Schröder–Bernstein theorem
ポストの定理
Post's theorem
ライスの定理
Rice's theorem
ルジンの分離定理
Lusin's separation theorem
数学
Mathematics▲1 trends
0.999...
0.999...▲1 trends
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 + ⋯