Is this a correct (over)simplification of the theory: there’s not enough information in a system that on its own can describe it’s correctness? I know this is a very naive and maybe incorrect interpretation of it, but I think this theorem is so important in so many ways, it should be used more in layman’s discussions, even though I understand that it’s easy to misuse it etc.