We prove the existence of a family of computably enumerable sets that, up to equivalence, has a unique computable minimal but not least numbering.

中文翻译：

---

具有单一最小但并非最小编号的家庭

我们证明了一系列可计算可枚举集合的存在，该集合在等价性范围内具有唯一的可计算最小但并非最小编号。