P.P.S. I now see NoamChomsky's talk of ChatGPT making no distinction between possible impossible languages as the idea Soundness ( S means that you cannot prove anything that's wrong) of GdelsIncompletenessTheorems. Without S,