No, it just means that there are things that are true but cannot be proven given the axioms of the system if the system is powerful enough to express Peano arithmetic. It has very little to do with laws, as they don't really prove anything (that is for the jury/judge to do).