I wonder how the Gödel's Incompleteness Theorems apply here.
Actually, I think laws (at least in the Civil Law sense; I'm not too familiar with Case Law) could be adequately represented in some formal logic language if the value judgements are made explicit so that the semantics of the law language specifies the meaning of most operators explicitly but leaves the judging-operator up to human judgment.
Then, laws could be model-checked for loop-holes.
Case law arises from the chancery courts of England, where the primary goal of the court was to do what was "fair", rather than simply what the law said.