Mathematical proofs are completely precise, that is to say, not vague in the least. They are, however, in an extremely high-level language; it's left to the reader to expand the notation enough to convince themselves of the validity.

(And, of course, there can be bugs - that is, mistakes - but there is no ambiguity.)