弗雷格一生的工作，都献给了后人称为“逻辑主义”的事业
即捍卫以下下论点:
算术与数论的真命题都是伪装的逻辑真理
所以把“数”、“相加”等独属数学的概念替换掉之后
可以表明，这时所得的结果能够由纯逻辑公理推导出来