Respuesta :

They wanted to develop notation that would represent not only formulas in mathematics, but also deductions and proofs in mathematics