If you feel this way, I encourage you to consider learning a formal verification language like Coq. I've found that reading maths in Coq or the like (quite a lo

If you feel this way, I encourage you to consider learning a formal verification language like Coq. I've found that reading maths in Coq or the like (quite a lot of maths has already been formalised in some kind of proof assistant) is ultimately easier as although it's more verbose, the writer is forced to specify everything clearly and unambiguously, and checking the exact meaning of any term is only a command away.