Assertion: sequence | /r/HasProperty | proved undecidable
Facets:
Source sentences:
text: a sequence for which the finiteness of the cardinality (finite or countably infinite) is proved undecidable;