Similar to 対角化定理
フォドアの補題
Fodor's lemma文脈自由言語の反復補題
Pumping lemma for context-free languages
分裂補題
Splitting lemma
蛇の補題
Snake lemma
Horseshoe 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 logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
カントールの往復論法
Back-and-forth method
記述計算量
Descriptive complexity theory
帰納言語
Recursive language