La compatibilidad de los axiomas de la aritmética.