Languages of mathematics and mathematics of languages