Assertion: finite set | /r/HasProperty | constructible
Facets:
Source sentences:
text: Since all hereditarily-finite sets are constructible, we aim to add an infinite set of natural numbers.