Only when each logical step has been checked by other mathematicians will the proof be accepted.
只有每一逻辑步骤都被其他数学家验证之后，证明才能成立。
相关词汇
onlyadj. 唯一的，仅有的，最好的，最适当的；adv. 只，仅仅，结果却，不料；conj. 但是，可是，要不是；
whenadv. 什么时候，（用于时间的表达方式之后）在那时，其时，当时；conj. 在…时，既然，如果；pron. 什么时候，那时；n. 时间，时候，日期，场合；
eachadj. 每，各自的；pron. 每个，各自；
logicaladj. 逻辑（上）的，符合逻辑的，推理正确的，合乎常理的；
stepn. 步，脚步，步骤，手段，步调，级别；vt.& vi. 举步，行走，踩，踏上，跨入，轻快地走；vi. 踏，踩，走；vt. 跳舞，迈步，使成阶梯状；
hasv. 有( have的第三人称单数 )，（亲属关系中）接受，拿，买到；
beenv. 用来表示某人或某物即主语本身，用来表示某人或某物属于某一群体或有某种性质（ be的过去分词 ），在，存在，不受干扰，去过了，be的过去分词；
checkedadj. 方格图案的，受阻的，封闭的；v. 检查，核对(check的过去式和过去分词)；
byprep. 在…旁边，表示方式，由于，经过；adv. 经过，表示保留或保存时用，短暂拜访；
otheradj. 别的，其他的，（两个中的）另一个，其余的；pron. 其他的，（指两个人或事物中的第二个）那个，（指一组中其余的人或事物）其余的，（指与说话人所在位置等相反的方向或地点）另一边；n. [the other]对立面；对立的事物；
willn. 愿意，意志（力），[法]遗嘱；vt. 决心要，将（财产等）遗赠某人，用意志力驱使（某事发生）；vi. 愿意， 希望， 想要；
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；
proofn. 证明，校样，检验，（酒的）标准酒精度；adj. 防…的，抗…的，能抵御，能防范；vt. 给（织物）做防护处理，使防水（或防火等），印…的校样；vi. [印刷术] 校对，发酵；
bev. 是，有，存在，做，成为，发生；aux. 用来表示某人或某物即主语本身，用来表示某人或某物属于某一群体或有某种性质；
acceptedadj. 公认的，可以接受的；v. 接受(accept的过去式及过去分词)；
相关好句