consideramos las reglas y los hechos como axiomas.