Строится вычислимо перечислимый частичный порядок, не имеющийвычислимо перечислимых максимальных цепей и вычислимо перечислимыхмаксимальных антицепей.