Another motivation was the desire to secure the truth of mathematics.

• 另一个动机是想要保证数学的真实性。