> we have to build incredibly complex systems out of very basic axioms

Yes and this is because our programming languages aren't as advanced as natural languages, not yet.

> philosophy

Did you just compare computer systems as being as complex as figuring out the meaning of life and the universe?

> law

Law is written in a way that is unambiguous as possible. Additionally it's a lot more complicated then simply running the same logic over and over when you are dealing with real peoples lives.