User blog comment:Vel!/1+w/@comment-5982810-20141011203204/@comment-1605058-20141011203448

How is it unnecessary? It, out of all possible forms an ordinal can take, gives us a single one, and then other rules allow us to define fundamental sequence for it.