Every system built on mathematics, from the most complex proof to basic arithmetic, is constructed from axioms.
Todos los sistemas basados en matemáticas, desde la comprobación más compleja hasta aritmética básica, se construyen a partir de axiomas.