::::::::::Secondly, you restored the statement that mathematics establishes truth by logical reasoning. On the contrary, I removed that statement because mathematicians rarely talk about truth. Mathematicians discuss properties of mathematical objects and consequences of hypotheses. Further, since the time of Peirce (with Fregean backsliding) competent logicians have known that there are many logics, with working mathematicians playing loosy-goosy with whatever logic suffices to resolve problems.