逻辑证明 创办和发展 真理 新式学堂 洋务运动 实践 数学真理 标准