In predicativist foundations (Weyl, Feferman), only those ordinals definable from prior stages witho...