Строится допустимое множество вида HF, в котором есть бесконечное Z-множество натуральных чисел, не представимое в виде f(w), где f — Z-функция.