>[!info] Definition >A [[Generalized logics|logic]] $\mathcal{L}$ is *unbounded* if the well-order quantifier $W$ is $\Delta(\mathcal{L})$[[Delta-extension|-definable]].