The analogy is useless, but not for this reason. If it were just that the axioms of law are more complicated in the sense of being more conditional, then law w

The analogy is useless, but not for this reason. If it were just that the axioms of law are more complicated in the sense of being more conditional, then law would be extremely math-like. After all, theorems with lots of conditional properties (e.g., very common in certain types of algebra, a lot of dynamics, any programming language theory, etc.) are still mathematical theorems. Law is distinguished from Math in two ways: 1) Law has more politics and isn't immune from politics. Mathematical truth, at least, is. 2) In law, the atomic propositions are always difficult to quantify and require human judgement; there is rarely an algorithm for weighing the evidence and determining guilt (or constitutionality, etc).