初始相繼式

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

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

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