Translating predicativism into autonomous progressions up to Γ₀ imposes a set-theoretic framework th...