Similar to 対角化定理
テューキーの補題
Teichmüller–Tukey lemmaΔ-システム補題
Sunflower (mathematics)▲1 trends中山の補題
Nakayama's lemmaネイマン・ピアソンの補題
Neyman–Pearson lemmaバーンサイドの補題
Burnside's lemma反復補題
Pumping lemma羊飼いの補題
フィッティングの補題
Fitting lemma▼-1 trendsフォドアの補題
Fodor's lemma文脈自由言語の反復補題
Pumping lemma for context-free languages分裂補題
Splitting lemma蛇の補題
Snake lemmaHorseshoe lemma
Horseshoe lemmaモストフスキ崩壊補題
Mostowski collapse lemma米田の補題
Yoneda lemmaラショーヴァ=シコルスキの補題
Rasiowa–Sikorski lemmaリースの補題
Riesz's lemmaリーマン・ルベーグの補題
Riemann–Lebesgue lemmaルベーグの被覆補題
Lebesgue's number lemmaワイルの補題 (ラプラス方程式)
Weyl's lemma (Laplace equation)数理論理学
Mathematical logicDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trends一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)