http://www.askphilosophers.org/question/24527 （翻译如下）
"数学中真理的来源不能是物理的。因为在我看来，即使在一个没有任何物质的世界里，也会有数学真理（例如，在这样一个世界里，物质的东西数量是零，因此不大于零，而不是质的等等）。因此，数学真理的来源必须是物理以外的，或者说是形而上学的。
这一事实是否意味着所有的数学家都在做形而上学？我不这么认为。元物理学家可以调查数学中真理的来源和数学真理创造者的本体论地位。但是数学家自己可以简单地利用这些真理，而不必去探究是什么使这些数学真理成真。“

主贴在哲学吧： https://tieba.baidu.com/p/6747145073

维基百科和斯坦福哲学百科全书：
形而上学 (英语：Metaphysics），是指研究存在和事物本质的学问。形而上学是哲学研究中的一个范畴，被视为“第一哲学”和“哲学的基本问题”。对于不能直接透过感知所得到答案的问题，它在先验条件（可看成公理化的假设）下，通过理性的逻辑推理推演出答案，并且不能有矛盾。它是人类理性对于事物最普遍的面相和终极的原因的探索的一门学科。
------------------
看来，按照定义，数学也是 形而上学的。
----------------- 见 W. G. Clark Professor of Philosophy at Acadia University, Nova Scotia, Canada Stephen Maitzen 的分析 http://www.askphilosophers.org/question/24527
Is Math Metaphysical? （数学是形而上学的吗？）
我同意你的话， 数学中真理的来源不能是物理的。因为在我看来，即使在一个没有任何物质的世界里，也会有数学真理（例如，在这样一个世界里，物质的东西数量是零，因此不大于零，而不是质的等等）。因此，数学真理的来源必须是物理以外的，或者说是形而上学的。
I agree with you that the sources of truth in mathematics can't be physical. For it seems clear to me that there would be mathematical truths even in a world that contained nothing physical at all (for instance, it would be true that the number of physical things in such a world is zero and therefore not greater than zero, not prime, etc.). So the sources of mathematical truth must be other than physical: if you like, metaphysical.

推荐有关这个主题的比较深刻文章：
* “数学、哲学和逻辑学的关系” （作者：猴子的婚礼(计算机科学博士在读) ） https://www.zhihu.com/question/37187339
* 哲学论证有可能像数学一样精确吗？ （作者：罗心澄） https://www.zhihu.com/question/20841131

不懂形而上学的领域划分？不同的研究领域
问这种问题，就好像问：化学是物理的吗？

从目前的哲学文献的表述，形而上学有两种定义，第一种是广义的定义：形而上学（metaphysica）该词原为亚里士多德一部著作的名称，去掉冠词就成了拉丁文<metaphysica>，meta这个前缀有之后、超越、基础的意思。这个用语被拉丁语注解家理解为“超物理科学”。 用现代的语言，就是科学以外的学科 。按这种所有无法用经验证据来验证的学科和问题归类为形而上学。（见: 斯坦福哲学百科全书，形而上学条目）
另一种定义更取决于形而上学专家感兴趣研究的题目， 定义为：”形而上学是对最终现实的研究 (Metaphysics is the study of ultimate reality)“。但具体包含哪些内容的划分是相对主观的， 最早只包含本体论， 现在丰富多了。（见: 斯坦福哲学百科全书，形而上学条目，和Peter Van Inwagen 的《Metaphysics 》 第一章）
按斯坦福哲学百科全书, 尽管形而上学专家关注问题一直在变化，开始是关于存在（本体论），后来认识论， 和论理学也扩充进来。但是，形而上学（metaphysica）广义的定义理解为“超物理科学”， 研讨无法用经验证据来验证的问题， 是没有变化的。
总之，所有无法用经验证据来验证的，包括数学，从广义来看， 都属于形而上学话题之一。

参考资料：
1《stanford encyclopedia of philosophy》（斯坦福哲学百科全书）形而上学条目， 作者：Peter Van Inwagen。 注：哲学界非常有声誉的， 其中的条目是经过哲学界同行评审的。形而上学条目作者是 Peter Van Inwagen 是当代形而上学，宗教哲学和行动哲学的主要人物之一。圣母大学的约翰·卡迪纳尔·奥哈拉（John Cardinal O'Hara）哲学教授， 其著作《Metaphysics 》（形而上学） 自今已经发行了4版。
2《Metaphysics 》（形而上学）， 第4版， 2014. 作者：Peter Van Inwagen。
3 《Internet Encyclopedia of Philosophy 》(互联网哲学百科全书), 形而上学条目。

在孙正聿的《哲学通论》中叙述如下：人们通常是在两种不同的意义上使用“形而上学”这个概念：其一，是在近似于“哲学”的意义使用这个概念。 在这个意义上，“形而上学”是一种追求和论证超验的“存在”即超越经验的关于世界的统一性原理的理论。 ....
-------------
在这个意义上， 数学，辩证法， 都属于形而上学话题之一。

我是个外行人可能说的不太对。我感觉数学就是一个人类发明的规则体系吧，就像语言一样，你能说它到底存在还是不存在吗？或许也有另一套规则体系能取代人类目前使用的数学吧？

形而上学是什么本身就界定不清，有褒义的，有贬义的，很多哲学问题都一样，靠着模糊的认知互相拉扯