And the modern emphasis on formal proofs owes a great deal to his rigorous methods.

现代对形式证明的重视在很大程度上归功于他严谨的方法。