There are no rules. On the other hand, code is very formal. It is a set of rules. It has structures. There is wrongness and you can do verification that is not

There are no rules. On the other hand, code is very formal. It is a set of rules. It has structures. There is wrongness and you can do verification that is not the result of opinion nor is it subjective. But yes, math is very broad. But it doesn't cover everything. At least not at this time.