Kurt Gödel - Other languages