[deleted] comments on The role of mathematical truths