Matematiksel ispat - Diğer diller