Теоретико-доказова семантика – Інші мови