co-RE则是所有RE语言其补集（complement）的总集合。某种意义上我们可以说，co-RE包含的语言，其里面的问题要证明为错误，只要有限的时间；但是可能要无限的时间，才能证明这问题正确。RE里面的每个成员都属于递归可枚举集合，因此同时也是丢番图集。