理查德·斯塔特曼 每个可数偏序集都可以嵌入到不可解项的偏序集中。 95-100 1986 48 西奥。计算。科学。 三 db/journals/tcs/tcs48.html#Statman86 https://doi.org/10.1016/0304-3975（86）90085-X