We prove legal theory by testing whether the law is decidable. I have no idea wh

We prove legal theory by testing whether the law is decidable. I have no idea where you are pulling this from.

Math, programming, and law must produce decidability. They are logics. Claims of consequences are far different from claims of testifiabilty. Or isn’t that obvious?