What we really wish to do is to take as the basis of our considerations the proposition: ‘Every ordinal is the type of the set of all ordinals that precede it’. But in order to avoid the vague notion ‘type’, we express it in the form: ‘Every ordinal is the set of the ordinals that precede it’. (von Neumann 1923, p. 347 of the English translation)