有没有老哥研究过,数学是被人类发现的,还是被发明的?