I think your point is basically that you want human law to be as clear, definite, unambiguous as scientific theories or mathematical proofs should be. I think this makes you an extremist legal formalist/textualist. Firstly, I think your reasoning is slightly fallacious: it seems you may be implicitly concluding that features that are useful for mathematics and science would be useful for law, too, just because of their effectiveness when applied to math or science.

While I agree that lawmakers are too often too sloppy, with many laws being unnecessarily ambiguous; I disagree with your supposed goal.

The first problem that comes to mind is that not even mathematics is done in formal languages, but I think much deeper issues are at hand here. It is that semantics are hard, even when the grammar is unambiguous.

I found a relevant quote from a 1881 book by a future SCOTUS justice (Holmes), The Common Law. This is the very beginning of the book: The object of this book is to present a general view of the Common Law. To accomplish the task, other tools are needed besides logic. It is something to show that the consistency of a system requires a particular result, but it is not all. The life of the law has not been logic: it has been experience. The felt necessities of the time, the prevalent moral and political theories, intuitions of public policy, avowed or unconscious, even the prejudices which judges share with their fellow-men, have had a good deal more to do than the syllogism in determining the rules by which men should be governed. The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics. In order to know what it is, we must know what it has been, and what it tends to become. We must alternately consult history and existing theories of legislation.

These Wikipedia pages might be interesting:

* https://en.wikipedia.org/wiki/The_Common_Law_(Holmes)

* https://en.wikipedia.org/wiki/Philosophy_of_law

* https://en.wikipedia.org/wiki/Jurisprudence

If you want to get more "practical", try thinking about the real problems that Jefferson & co. would have had trying to express the Constitution, Bill of rights, or even more mundane laws as you would like. It's not just that there was no Lojban or Ithkuil back then and math was less developed, even today the expertise required simply does not exist, and it is not clear if what you wish is even possible.

I want to say that, although I disagree with you, thinking about the questions you raised has been a rewarding experience for me and I wish you luck in finding somebody smarter and/or more knowledgeable in the philosophy of law than me that you could discuss this with. Although, you may need to adjust your attitude to be less sour if you want more discussion, it will be more pleasant for other people if you manage to do that (I know that's difficult). I have a hunch you may also find some answers in science/speculative fiction, but, sadly, I can not remember a relevant work right now. I would like it if you could tell me if you get some interesting conclusions down the road.