在每個分叉處具有有限數量分支，並且在每個分支末端具有有限數量葉子的樹被稱為有限分支樹。
柯尼希引理指出，有限分支樹是無限的當且僅當它具有無限路徑時。
該引理用於邏輯中完備性證明。
柯尼希引理
另請參閱
分支, 分叉, 克魯斯卡爾樹定理, 樹, 樹葉此條目由 Alex Sakharov 貢獻 (作者連結)
使用 探索
參考文獻
Kleene, S. C. 數理邏輯。 New York: Dover, 2002.在 上被引用
柯尼希引理請這樣引用
Sakharov, Alex. “柯尼希引理。” 來自 —— 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/KoenigsLemma.html