数学是人类的发明，还是发现？

看把数学当做什么。

作为思想体系的数学完全是发明，发明出来居然还可以这么想事情。比如说，把集合作为数学基础是康托尔发明的想法。康托尔这个世界上最可敬的神经病，脑袋里的灯泡突然就亮了，他知道这样想是可以的。

而作为命题集合的数学，那么其中的公理属于规定的范畴，规定属于发明的范畴。

定理属于发现的范畴。

而所有尚不知真假的命题的范畴也同样无法判定。