On axiom schemes for T-provably ₁ Δ 1 formulas | Publicación