It is the merest truism, evident at once to unsophisticated observation, that mathematics is a human invention.