Assertion: turing degree | /r/HasProperty | infinite
Facets:
Source sentences:
text: Every Turing degree is countably infinite, that is, it contains exactly ℵ 0