We assume that the only entity at stage 0 is the empty set , although this stage would include any urelements we would choose to admit .
We assume that the empty entity at stage 0 is the only set , although this stage would include any urelements we would choose to admit .