Todos los sistemas basados en matemáticas, desde la comprobación más compleja hasta la aritmética básica, se construyen a partir de axiomas.

所有基于数学系，复杂证明到基本算术，都是根据构建。

Aunque tenga en cuenta estas declaraciones indemostrables al agregarlas como nuevos axiomas a un sistema matemático ampliado, ese mismo proceso introduce nuevas afirmaciones verdaderas indemostrables.

尽管您通过将这些无法证明陈述作为新加到扩展数学系中来考虑这些陈述，但同一过程会引入新无法证明真实陈述。