It's a compelling parallel, but I think we need to be careful not to confuse metaphor with mechanism. Gödel's theorem shows that certain truths can't be proven within a formal system. With LLMs, the issue isn't provability. It's that there's no real model of truth in the first place, only prediction based on patterns.