将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:（1）分别在系统(?),W和Wk中得到了公式集F（S）关于(?)同余的分划;（2）在系统Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式;（3）在(?)（W）中,重言式不可能由对非重言式进行有限次升级算法得到;（4）在系统(?)（W）中,（[（1/2）+]-MP）规则成立. This paper extends and generalizes the generalized tautology introduced by Wang Guojun’s modified Kleene system, and introduces the concepts of reachable α + - tautologies.The main results are as follows: (1) (2) In system Wk, we can get tautology up to [k + 1/2] times for any formula in the system Wk. (3) In (?) (W), the tautology can not be obtained by a finite number of escalation algorithms; (4) In the system (?) +] - MP) The rule is true.