He expected to deduce new ideas by mathematical means.

• 他期望用数学方法得到新的推论。