"The problem of the philosophical foundation of mathematics is closely connected with the topics of Kant's Critique of Pure Reason. It is the old quarrel between Empiricism and Transcendentalism. Hence our method of dealing with it will naturally be philosophical, not typically mathematical."
January 1, 1970
https://en.wikiquote.org/wiki/Foundations_of_mathematics