相继式 在证明论中相继式sequent是对在规定演绎的演算的时候经常用到的可证明性的形式陈述