Axiomatic Law

I was reading some article on Asimov’s 3 Laws, and thought that they have some difficulties.

1. The laws are in english, a language that is inherently ambigious. This ambiguity is difficult for machine implementation, but may imbue the robots with the needed abstract generalizations necessary for functioning in our society.

2. The laws are axiomatic, and depedant on predicate calculus. This results in an inherent limitation: incompleteness.

It occured to me that as a generalization of (2), our own system of law is really quite ridiculous, perhaps there is something better.