Language in mathematics (title to be precised)

Title and abstract coming this week