数学是唯一一种"每一步都可以确定对错"的知识

在所有人类知识领域中，只有数学做到了：一个结论，要么被证明为真，要么被证明为假，要么被证明为不可判定——没有第四种状态。自然科学只能"大致正确"，社会科学只能"倾向性地正确"，只有数学给出了绝对的确定性。这种确定性是数学力量的来源，也是它的局限——它只能处理那些可以被完全形式化的问题。