> I think you can make a philosophical argument that a fully formal proof, where every claim is traced all the way back to the axioms, is not a social construct.

I don't think you can make this claim really, precisely because the logic we accept as, well, logical, is a social construct. Different cultures across different places have had different ways of accepting what is valid in an argument. The methods of logic we consider valid are themselves social constructs, basically.