> The division of math into "ambiguous" English and "formal" formulae/symbolism is semantically artificial. Both of these are human languages. I'll grant the o

> The division of math into "ambiguous" English and "formal" formulae/symbolism is semantically artificial. Both of these are human languages. I'll grant the obvious: both are human languages. But what does this assumption prove? It certainly does not prove that math is not formal.