Added a discussion of non-objectivity in maths
Much rephrasing