Realistically this is more akin to a physicist hearing from a non-physicist they have a design for a perpetual motion machine and declining to pursue it. Gödel

Realistically this is more akin to a physicist hearing from a non-physicist they have a design for a perpetual motion machine and declining to pursue it. Gödel was clearly a giant in his field but here he is completely outside of the rubric of things he was familiar with. Specifically the constitution describes a political system not a logical one and while logic is important for the law, it does not describe anything like a formal system of logic (in the mathematical sense). Judges are also incredibly busy and they probably had a huge caseload to deal with and little time right then for a detailed constitutional debate.