西方哲學中，從洛克，到康德，再到胡塞爾，以及直覺主義數學學派，形式邏輯和數學演算（比如5+7=12）均不是人類發現的“超驗的”（transcendental）存在，而是始於經驗，人類發明的工具。在康德那裡叫先驗綜合判斷，在胡塞爾則進一步修正。當然，弗雷格是這一哲學的堅決反對者，與其志同道合的康黑羅素乾脆認為整個數學是建立在超越人類經驗（超驗）的那個天籟之音“邏輯”之上，結果書剛印刷完，就發現自相矛盾，只能疊床架屋，補丁越打越難看，簡直是打臉造物主，直到哥德爾上來蓋棺定論，宣判邏輯主義數學學派死刑。