Veblen hierarchy in the context of provability algebras by L.D. Beklemishev