Title: Harvey Friedman's Research on the Foundations of Mathematics