在追求真实的历程中,有些失败必将永载史册,因为正是它们为寻找通向真理的道路提供了指引。如果不是对这些教训刻骨铭心,我们会不断地在原地徘徊,甚至再一次陷入错误的泥沼。从逻辑推出自然数的失败,就是这样一个具有划时代意义的路标。