Assertion: set's number | /r/HasProperty | obtained following the definition
Facets:
value: by starting with the empty set
type: MANNER
Source sentences:
text: Following the definition given by Von Neumann in the early 1920s, the ordinal numbers, or ordinals, for short, are obtained by starting with the empty set and performing two operations: taking the immediate successor, and passing to the limit.