Gödel's incompleteness theorems
对于每一个的一致有效的代表自然数的公理系统，如皮亚诺公理，存在常数 "N" 使得没有「 Ω 在"第N位数 之後的位数」"可以被证明为1或0，在这个系統。常数"N" 取决于形式系统是有效地代表，并因此并不直接反映的复杂性不言自明的系统。这个不完整的结果是类似于哥德尔不完备定理在于，它表明，没有一致的正式理论运算可以完成。