Matemaattinen todistus - Muut kielet