Dos reglas para los axiomas:"