Sætning (matematik) - Andre sprog