constructive ordinal number