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

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