>> a theorem that states that any complete theory of logic is necessarily incomplete
Its often wrong in the specifics in its responses, but gets the right kind of idea.