Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic.
Así, a consistencia de toda a matemática sería reducida á aritmética básica.