An infinite strictly descending sequence of ordinals below epsilon_0 is impossible given well-founde...