在每个分叉处具有有限数量分支，并且在每个分支末端具有有限数量叶子的树被称为有限分支树。
柯尼希引理指出，有限分支树是无限的当且仅当它具有无限路径时。
该引理用于逻辑中完备性证明。
柯尼希引理
另请参阅
分支, 分叉, 克鲁斯卡尔树定理, 树, 树叶此条目由 Alex Sakharov 贡献 (作者链接)
使用 Wolfram|Alpha 探索
参考文献
Kleene, S. C. 数理逻辑。 New York: Dover, 2002.在 Wolfram|Alpha 上被引用
柯尼希引理请这样引用
Sakharov, Alex. “柯尼希引理。” 来自 MathWorld——Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/KoenigsLemma.html