西方哲学中，从洛克，到康德，再到胡塞尔，以及直觉主义数学学派，形式逻辑和数学演算（比如5+7=12）均不是人类发现的“超验的”（transcendental）存在，而是始于经验，人类发明的工具。在康德那里叫先验综合判断，在胡塞尔则进一步修正。当然，弗雷格是这一哲学的坚决反对者，与其志同道合的康黑罗素干脆认为整个数学是建立在超越人类经验（超验）的那个天籁之音“逻辑”之上，结果书刚印刷完，就发现自相矛盾，只能叠床架屋，补丁越打越难看，简直是打脸造物主，直到哥德尔上来盖棺定论，宣判逻辑主义数学学派死刑。