 Iterated consistency progression

Starting from a recursively axiomatized theory $T_0$, defineAssuming consistency, Gödel second incompleteness theorem makes every step strict in the consistency-strength preorder, while the effective union $T_{\omega }={\bigcup }_{n<\omega }{T}_n$ lies strictly above every finite stage.