11.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.
每个建立在数学基础上的系统,从最复杂的证明到基本的算术,都是从公理构建的。如果关于数字的陈述是真的,数学家应该能够用公理证明来证实它。机翻