> (Unambiguity) Every well-formed expression in the notation should have a unique mathematical interpretation in 𝑋

This is never the case in physics because the equality sign "=" is loaded and can mean equality, definition, proportionality, identity and equivalence. Physicists read the equality sign case by case, as the case may be, with one of these meanings. In scholasticism this used to be called casuistry.