Every system built on mathematics, from the most complex proof to basic arithmetic, is constructed from axioms. And if a statement about numbers is true, mathematicians should be able to confirm it with an axiomatic proof.

每个建立在数学基础上的系统，从最复杂的证明到基本的算术，都是从公理构建的。如果关于数字的陈述是真的，数学家应该能够用公理证明来证实它。