柯尼希引理亦稱柯尼希不等式，公理集合論的基本定理之一。
定義
柯尼希引理(Konig lemma)亦稱柯尼希不等式.公理集合論的基本定理之一設{k;:zEl}與{幾:i EI}為兩個基數序列，1為共同的索引集.若對任意 i任1,k;+;，則
這一結論由柯尼希(Konig , J.)於1905年給出.如果對每個i任1，取}c;=1,};=2，令幾一}I}，則柯尼希引理變為.1<2z，即康托爾定理，因此柯尼希引理是康托爾定理的推廣.柯尼希引理的重要性在於它給出了基數運算的一個嚴格不等式，這在基數運算定律中並不多見.柯尼希引理有一些常用的推論，如: 1.對任何基數}c,cf (2")>}'. 2.對任何無窮基數}c,}l,cf(}lk)>}. 3.對任何無窮基數}c，若cf (}c>+，則表示}c的共尾數. 人們常將柯尼希無限引理稱為柯尼希引理.
