I would have asked how he could assert the truth of the proposition "Truth in mathematics is a social construct", since its truthfulness has to be a social cons

I would have asked how he could assert the truth of the proposition "Truth in mathematics is a social construct", since its truthfulness has to be a social construct too. (I assume that mathematics encompasses formal logic too)