गणितीय उपपत्ति - अन्य भाषाएँ