目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。事实上，所有现在的数学定理都可以用集合论的定理表述。数学命题的真实性在这个观点下，不过就是该命题可以从集合论公理使用形式逻辑推导出来。

这个形式化的方法不能解释一些问题：为什么我们选择我们现在所用的而不是其他的公理，为什么我们使用我们所用的逻辑规则而不是其他的，为什么"真"数学命题(例如，算数的皮亚诺公理)在物理世界中似乎是真的。这被Eugene Wigner在1960年叫做数学在自然科学中无理由的有效性(The unreasonable effectiveness of mathematics in the natural sciences)。

目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。事实上，所有现在的数学定理都可以用集合论的定理表述。数学命题的真实性在这个观点下，不过就是该命题可以从集合论公理使用形式逻辑推导出来。

这个形式化的方法不能解释一些问题：为什么我们选择我们现在所用的而不是其他的公理，为什么我们使用我们所用的逻辑规则而不是其他的，为什么"真"数学命题(例如，算数的皮亚诺公理)在物理世界中似乎是真的。这被Eugene Wigner在1960年叫做数学在自然科学中无理由的有效性(The unreasonable effectiveness of mathematics in the natural sciences)。