Post was searching for a non-computable, computably enumerable set which the halting problem could not be Turing reduced to.
Post was searching for a non-computable, computably enumerable set that eluded being reduced to the halting problem through a Turing reduction.