He expected to deduce new ones by mathematical means.

• 他期望用数学方法得出一些推论。