Vladimir_Nesov comments on Meanings of Mathematical Truths