初始相繼式

初始相繼式(initial sequent)一種條件蘊含式.指形如A-＞A的相繼式‘其中A是一個公式.在佩亞諾算術中，下列式子也稱初始相繼式(又稱數學初始相繼式)。

基本介紹

• 中文名：初始相繼式
• 外文名：initial sequent

初始相繼式(initial sequent)一種條件蘊含式.指形如A-＞A的相繼式‘其中A是一個公式.在佩亞諾算術中，下列式子也稱初始相繼式(又稱數學初始相繼式):

初始相繼式

其中、t是項.初始相繼式實際上是根岑系統的公理.-＞A表示A為恆真式，A~表示A為恆假式.