克雷塞尔猜想是猜想在证明论中的一个猜想，它假设如果 
是算术语言中的一个公式，存在一个非负整数 
，使得对于每个非负整数 
，皮亚诺算术至多用 
步证明 
，那么皮亚诺算术可以证明其全称闭包，
。
M. Baaz 在 1988 年证明了该猜想的一个特例为真 (Baaz and Pudlák 1993)。
克雷塞尔猜想
另请参阅
可判定的此条目的部分内容由 洛伦佐·索拉斯-阿尔图扎拉贡献
使用 Wolfram|Alpha 探索
参考文献
Baaz, M. and Pudlák P. "关于 L 存在 _1 的克雷塞尔猜想." In 算术、证明论和计算复杂性，1991 年 7 月 2-5 日在布拉格举行的会议论文集 (Ed. P. Clote and J. Krajiček). New York: Oxford University Press, pp. 30-60, 1993.Dawson, J. "从证明长度的角度看哥德尔不完备性定理." Amer. Math. Monthly 86, 740-747, 1979.Kreisel, G. "关于非有穷证明的解释，II." J. Sym. Logic 17, 43-58, 1952.Santos, P. G. and Kahle, R. "关于可证明性新概念的克雷塞尔猜想的变体." Bull. Sym. Logic 24, 337-350, 2021.在 Wolfram|Alpha 中被引用
克雷塞尔猜想请引用本文为
Sauras-Altuzarra, Lorenzo 和 Weisstein, Eric W. "克雷塞尔猜想." 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/KreiselConjecture.html