. This is especially true of informal mathematical language, in which the rules governing the use of such terms as ‘set’, ’infinity’, ’infinitesimal’ and ‘proof’ have changed dramatically in the last hundred years, as a mathematical practice has developed.