Agregado axioma
Formalismo en proceso