To address this fact, Gentzen in 1935 proposed his sequent calculus, though he initially intended it as a technical device for clarifying the consistency of predicate logic.
为此，根岑在1935年提出了他的相继式演算，他最初打算把它作为澄清谓词逻辑的一致性的技术手段。