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