柯尼希無窮引理(Konig's infinite lemma)組合論的著名結論.該引理斷言:設<T,G>為一棵高度為。的樹,若T的每個水平均是有限集,則T有無窮多條分支.柯尼希(Konig,J.)於1926年給出這一結論.柯尼希無窮引理在數學的許多領域有著廣泛套用.