数学的哲学定义是什么