Wiki on Gödel's incompleteness theorems:
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system.
Federal judge Colleen McMahon on US "targeted killings":
I can find no way around the thicket of laws and precedents that effectively allow the Executive Branch of our Government to proclaim as perfectly lawful certain actions that seem on their face incompatible with our Constitution and laws, while keeping the reasons for their conclusion a secret.
(no, don't bother telling me i'm abusing Gödel. i already know)
My sense is that the courts have been cowardly on this issue since, oh, the second Tuesday in September of 2001, to the extent that Judge McMahon had no choice if she wanted to pay fealty to the law.
That is, 10 or so years ago there was room for District Judges and Appellate courts to maneuver here. Now, not so much, and SCOTUS continues to avoid revisiting the question.
Feh.