相繼式

在證明論中 ， 相繼式 （ sequent ） 是對在規定演繹的演算的時候經常用到的可證明性的形式陳述 。