Autonomous progressions of theories can characterize finitism and predicativism in a mathematically ...