Foundations of Mathematics and Homotopy Theory