Assertion: halting set | /r/HasProperty | decidable
Facets:
Source sentences:
text: If there were one, then the halting set would be decidable, which is provably false.