On defining well-orderings | Publicación