barmar, on 2018-October-02, 09:12, said:
If the lawmakers want to prevent this approach, the solution is to writer clearer laws without inconsistencies, so TDs can't cherry-pick the law that supports their ruling.
sanst, on 2018-October-09, 01:20, said:
Thats impossible. Its impossible for a formal axiomatic system, as shown by Gödel, ...
At risk of being overly technical, it's not as simple as that (Gödel's argument requires that the system is sufficient to contain Peano arithmetic, for example). And you can have a consistent such system - for example, ZFC (Zermelo-Frankel set theory with the Axiom of Choice) is generally regarded as consistent - it's just that in that event (1) it will be incomplete (there will be true statements that can not be proved within the system), and (2) its consistency is one such statement: ie you can not prove the system's consistency within the system.
Mathematics would be impossible if all systems were inconsistent.
sanst, on 2018-October-09, 01:20, said:
... so its certainly impossible for a semi-formal, non-axiomatic system like the Laws of Du[p]licate Bridge or any other set of laws.
That is certainly not a logical consequence even if the premise were true.