Jólrendezzük most a megszámlálható halmazokat

Itt egy plusz feltétel: feltesszük azt, hogy létezik definiálható jólrendezés. ZF+V=L alatt például van ilyen, mint ahogyan HOD-ban is. HOD ilyen szempontból maximális.