Teoria del primo ordine - Altre lingue