GptChat on Gödel's Disjunction