数学的前身是音乐、天文学?