Definición formal de un sistema axiomático: