Bevis (matematik) - Andre sprog