Context: Each statement in a proof is logically justified by a definition, postulate, or an earlier proposition that has already been proven.

• 上下文：在一个证明过程中每一个陈述句都要被符合逻辑地用定义，定理或公理或前边已证明的命题加以判定。