一種數學結果，被大多數邏輯學家認為比哥德爾首先發現的元數學不完備性結果更自然。有限組合例子包括 Goodstein 定理，Ramsey 定理的有限形式，以及 Kruskal 樹定理 的有限形式 (Kirby and Paris 1982; Smorynski 1980, 1982, 1983; Gallier 1991)。
自然獨立現象
參見
哥德爾第一不完備性定理, 哥德爾第二不完備性定理, Goodstein 定理, Kruskal 樹定理, Ramsey 定理使用 探索
參考文獻
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.在 上被引用
自然獨立現象引用為
Weisstein, Eric W. "自然獨立現象。" 來自 ——Wolfram 網路資源。 https://mathworld.tw/NaturalIndependencePhenomenon.html