Because there exists a recursively enumerable set that is not computable, the unsolvability of Hilbert's tenth problem is an immediate consequence.
因为“存在一个递归可枚举集是不可计算的”，希尔伯特第十问题的不可解性是其直接后果。