Mathematicians are sometimes surprised by the principle of continuous induction—by the idea that there is a principle of induction on the real numbers using the real-number order—because there is a widely held view, or even an entrenched expectation, that induction is fundamentally discrete and sensible only with well-orders. Yet here we are with an induction principle on the real numbers based on the continuous order.

