Ciència formal • Altres llengües