Teorema di compattezza (logica matematica) - Altre lingue