¿Son compatibles los axiomas de la aritmética?