Kurt Gödel – Theo ngôn ngữ khác