Harvey Friedman's Research on the Foundations of Mathematics