Matematički dokaz - Drugi jezici