I don't think that the best way to explain math is to show formulas. If that were so, then the best way to learn math would be to look at mechanised formalisati

I don't think that the best way to explain math is to show formulas. If that were so, then the best way to learn math would be to look at mechanised formalisations of math, which is clearly not the case.