And if a statement about numbers is true, mathematicians should be able to confirm it with an axiomatic proof.
Y si una declaración sobre ciertos números es verdadera, los matemáticos pueden confirmarla con una prueba axiomática.