柏拉图对数学的贡献是什么