Talk:Gödel logic