While to claim that 'astronomers have changed their minds as to what the number of planets is' makes sense, to claim that 'mathematicians have changed their mind as to what the number nine is' seems barely intelligible,