Kurt Gödel - További nyelvek