Similar to 補題
ネイマン・ピアソンの補題
Neyman–Pearson lemma
バーンサイドの補題
Burnside's lemma
反復補題
Pumping lemma羊飼いの補題
ファトゥの補題
Fatou's lemma
フィッティングの補題
Fitting lemma文脈自由言語の反復補題
Pumping lemma for context-free languages
分裂補題
Splitting lemma
ベズーの等式
Bézout's identity
蛇の補題
Snake lemma
モストフスキ崩壊補題
Mostowski collapse lemma
米田の補題
Yoneda lemmaラショーヴァ＝シコルスキの補題
Rasiowa–Sikorski lemmaリースの補題
Riesz's lemma
リーマン・ルベーグの補題
Riemann–Lebesgue lemma
ルベーグの被覆補題
Lebesgue's number lemma
ワイルの補題 (ラプラス方程式)
Weyl's lemma (Laplace equation)
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
形式論理学
Formal logic
後者関数
Successor function