一种数学结果，被大多数逻辑学家认为比哥德尔首先发现的元数学不完备性结果更自然。有限组合例子包括 Goodstein 定理，Ramsey 定理的有限形式，以及 Kruskal 树定理 的有限形式 (Kirby and Paris 1982; Smorynski 1980, 1982, 1983; Gallier 1991)。
自然独立现象
参见
哥德尔第一不完备性定理, 哥德尔第二不完备性定理, Goodstein 定理, Kruskal 树定理, Ramsey 定理使用 Wolfram|Alpha 探索
参考文献
Gallier, J. "What's so Special about Kruskal's Theorem and the Ordinal Gamma[0]? A Survey of Some Results in Proof Theory." Ann. Pure and Appl. Logic 53, 199-260, 1991.Kirby, L. and Paris, J. "Accessible Independence Results for Peano Arithmetic." Bull. London Math. Soc. 14, 285-293, 1982.Smorynski, C. "Some Rapidly Growing Functions." Math. Intell. 2, 149-154, 1980.Smorynski, C. "The Varieties of Arboreal Experience." Math. Intell. 4, 182-188, 1982.Smorynski, C. "'Big' News from Archimedes to Friedman." Not. Amer. Math. Soc. 30, 251-256, 1983.在 Wolfram|Alpha 上被引用
自然独立现象引用为
Weisstein, Eric W. "自然独立现象。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/NaturalIndependencePhenomenon.html