Please don't quote the incompleteness theorem without knowing it's precise statement. Far too many people do this to make absurd claims. In particular, the tra

Please don't quote the incompleteness theorem without knowing it's precise statement. Far too many people do this to make absurd claims. In particular, the tradeoff between soundness and completeness only holds for those mathematical systems which can internally encode peano arithmetic (naturals, addition, multiplication, first order logic) Therefore, to invoke the incompleteness theorem, you need to prove that a legal system is powerful enough to encode arithmetic, which to me at least is not obvious. There are many systems that are both consistent and complete, but are just not as expressive.