foundations of mathematics is the study of the philosophical and logical and or algorithmic basis of mathematics or in a broader sense the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics in this latter sense the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague