Assertion: set's number | /r/HasAspect | countable enumeration
Facets:
Source sentences:
text: The real numbers have no countable enumeration as proved by Cantor's diagonal argument and Cantor's first uncountability proof.