Only when each logical step has been checked by other mathematicians will the proof be accepted.

只有在每个逻辑步骤都由其他数学家验证之后，该证明才会被接受。