Assertion: aleph's limit | /r/HasProperty | obtained by transfinite recursion
Facets:
Source sentences:
text: We obtain ε0 as the limit obtained by transfinite recursion from a sequence of smaller limit ordinals: