The problem of effectiveness tended early, as we have seen, to be conflated with the paradoxical one of "finite definablility'. That the two were really distinct problems emerges from an observation due essentially to Hilbert, that α is finitely definable ⇔ α is definable (period!).