Formalización del sistema