If class bijections require definable functions, the step from equinumerosity with the ordinals to a...