Mjburgess is referring to the failure of the logiscist program in research in the foundations of mathematics: https://plato.stanford.edu/entries/logicism/ https

Mjburgess is referring to the failure of the logiscist program in research in the foundations of mathematics: https://plato.stanford.edu/entries/logicism/ https://plato.stanford.edu/entries/logicism/ The article doesn't make it entirely clear that the program is widely considered to be a failure, but it is. A better way to express the claim that you're making about mathematics would be to say that mathematical truths can be known a priori.