Similar to 対角化定理

5項補題
Five lemma
1/6公式

アスコリ=アルツェラの定理
Arzelà–Ascoli theoremアポロニウス点
Apollonius pointアポロニウスの定理
Apollonius's theorem
ガウスの補題 (数論)
Gauss's lemma (number theory)
ケーニヒの補題
Kőnig's lemma
ファトゥの補題
Fatou's lemma
ベズーの等式
Bézout's identity
9項補題
Nine lemma
Δ-システム補題
Sunflower (mathematics)▲1 trends
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
0
0
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6▼-1 trends
7
7
8
8
9
9▼-1 trends
12345679

円周率が22/7より小さいことの証明
Proof that 22/7 exceeds π
円周率の無理性の証明
Proof that π is irrational