The latest chapter of Math From Scratch is ready here, and details the exact justifications for removing the Axiom of Inequality, also known as the well-ordering principle, and then introduce the new axiom that replaces it.