Similar to 対角化定理
5項補題
Five lemma1/6公式
アスコリ=アルツェラの定理
Arzelà–Ascoli theoremアポロニウス点
Apollonius pointアポロニウスの定理
Apollonius's theoremガウスの補題 (数論)
Gauss's lemma (number theory)ケーニヒの補題
Kőnig's lemmaファトゥの補題
Fatou's lemmaベズーの等式
Bézout's identity9項補題
Nine lemmaΔ-システム補題
Sunflower (mathematics)▲1 trendsDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
General recursive function0
0▼-1 trends1
12
23
34
45
56
67
78
89
912345679
円周率が22/7より小さいことの証明
Proof that 22/7 exceeds π円周率の無理性の証明
Proof that π is irrational