Those rules are based on axioms which are used to create statements which are used within proofs. As far as I know statements are pretty common and are a foundational part of all math.
Defining math as a language though is also going to be pointless here. It's not really a yes or no thing. I'll say it is a language but sure it's arguable.
And again laws are created using statements. I have plenty of textbooks that contain "statements"