克雷塞爾猜想是猜想在證明論中的一個猜想，它假設如果 
是算術語言中的一個公式，存在一個非負整數 
，使得對於每個非負整數 
，皮亞諾算術至多用 
步證明 
，那麼皮亞諾算術可以證明其全稱閉包，
。
M. Baaz 在 1988 年證明了該猜想的一個特例為真 (Baaz and Pudlák 1993)。
克雷塞爾猜想
另請參閱
可判定的此條目的部分內容由 洛倫佐·索拉斯-阿爾圖扎拉貢獻
使用 探索
參考文獻
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.在 中被引用
克雷塞爾猜想請引用本文為
Sauras-Altuzarra, Lorenzo 和 Weisstein, Eric W. "克雷塞爾猜想." 來自 ——Wolfram 網路資源。 https://mathworld.tw/KreiselConjecture.html