But in the present state of the literature, it should be said that if the 'theory The problem of transfinite levels is perhaps not too difficult to solve in a canonical way at level, but it becomes increasingly acute at higher ordinal levels.