cloa513: Your example of comparing 10 grain of sand to 1 boulder doesn't add any weight to your claim that maths is neither a science nor a human belief system.

However, I don't dispute that maths certainly has a precise and (almost) unambiguous language intrinsically associated with it that is used to convey meaning between working mathematicians.

By-the-way maths has a branch specifically related to handling statements like the example you gave-- it's called type theory. In computer science type systems form a major part (in my opinion the most important part) of programming language theory. An everyday example of type theory in action is the common statement that "you can't add/compare apples to oranges". see: https://en.wikipedia.org/wiki/Type_theory for more info.

Additionally, it might interest you to know that maths includes the study of formal grammar systems as a field of study. Most people are surprised to find that this is actually a field of mathematical study since they normally associate grammar with English studies/Literature at school. In fact some grammar systems are extremely powerful mathematically- an important result of grammar systems theory is that there exists a grammar which is Turing complete: ie, there are grammars which can be used to "compute" *any* mathematical statement. see: https://en.wikipedia.org/wiki/Unrestricted_grammar