稀烂的数学

把思路想象成路，数学是一张地图，前进的方式是演绎，演绎是严格的替换，合适的时候演绎成合适的形式使用合适的性质，数学描述世界，或者说我们的体验，因为一的假设，先于体验的演绎结论暗示新的细节，接口是定义