一个在计算机科学中起着基础作用的定理，因为它是证明 树 上的某些排序是良基的主要工具之一。 这些排序在证明重写规则的终止性和 Knuth-Bendix 完成算法 的正确性方面起着至关重要的作用。
Kruskal 树定理
另请参阅
Knuth-Bendix 完成算法, 柯尼希引理, Kruskal 算法, 自然独立现象, 树使用 Wolfram|Alpha 探索
参考文献
Gallier, J. "Kruskal 定理和序数 Gamma[0] 有什么特别之处？证明论中的一些结果综述。" Ann. Pure and Appl. Logic 53, 199-260, 1991.在 Wolfram|Alpha 中被引用
Kruskal 树定理请这样引用
Weisstein, Eric W. "Kruskal 树定理。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/KruskalsTreeTheorem.html