Perhaps motivated in part by the mechanical devices that were used to help in arithmetical calculations, mathematicians wanted to know whether there were mechanical ways of proving theorems.

• 可能得益于早期发明的辅助算术运算的机械装置，数学家们想知道能不能用同样的机械方式来实现定理的证明。