JoshuaZ comments on Is math subjective?