The ordinals less than epsilon_0 are well-founded (there is no infinite strictly descending sequence...