Assertion: set's element | /r/HasProperty | countable
Facets:
Source sentences:
text: Writing HC for the set of hereditarily-countable sets (i.e., countable sets whose elements are countable, the elements of which are also countable, and so on), MA is equivalent to:
text: Writing HC for the set of hereditarily-countable sets (i.e., countable sets whose elements are countable, the elements of which are also countable, and so on), MA is equivalent to: