Assertion: set's number | /r/HasProperty | represented in the superstructure
Facets:
value: by its von neumann ordinal
type: OTHER
Source sentences:
text: Continuing this process, every natural number is represented in the superstructure by its von Neumann ordinal.