Muéstrame tus axiomas y te mostraré tus conclusiones.