Transfinite does not mean infinite. See: https://en.wikipedia.org/wiki/Transfinite_induction