The principle of mathematical induction is logically based on:
The well-ordering principle of natural numbers
De Morgan's Laws
The axiom of choice
Zorn's Lemma