Gödel showed that formal systems which discuss natural numbers cannot be complete or prove their own consistency. Incompleteness in this sense is limited to formal systems, and so is not applicable to law by it own terms. ...