Así, se busca derivar conclusiones y expresiones útiles a partir del razonamiento deductivo y el formalismo matemático.