language of mathematics (J. Murray, 1975)