Assertion: set's number | /r/HasProperty | identified with finite ordinals
Facets:
Source sentences:
text: For example, the natural numbers are identified with the finite ordinals, so \(\mathbb{N}=\omega\).