Μαθηματική απόδειξη - Άλλες γλώσσες