Gödel's Disjunction In Theories of Truth