The role of the philosophy of mathematics is to provide a systematic and absolutely secure foundation for mathematical knowledge, that is for mathematical truth.1 This assumption is the basis of foundationism, the doctrine that the function of the philosophy of mathematics is to provide certain foundations for mathematical knowledge. tionism is bound up with the of mathematical knowledge, for it regards the task of justifying this view to be central to the philosophy of mathematics.