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

都有。

比如勾股定理是发现，发现了直角三角形有这个性质。

但很多定义都是发明，人们发明了这些定义，简化了表述和证明。

特别是无穷的发明，连续统的发明等，使数学严谨化了。