I don't think you can apply the incompleteness theorem like that, LLMs aren't constrained to formal systems