Talk:Principle of Mathematical Induction

From ProofWiki
Jump to navigation Jump to search

Alternative form

Given the Existence of Minimal Infinite Successor Set, the form of the Principle of Mathematical Induction that Halmos states (in quantified form) is

$\forall S\in\mathcal{P}(\omega)\,(\varnothing\in S \wedge \forall n\in S(n^+\in S) \Rightarrow S=\omega)$

is a consequence of $\omega$'s existence, its minimality property, and definition of set equality. I think its more immediate why the PMI applies to $\omega$ than to a Peano structure, as $\omega$'s existence has been demonstrated. Should we add this form? --Robertbiggs34 (talk) 21:16, 27 May 2013 (UTC)

What? The principle of mathematical induction is one of the Peano axioms. I don't see what you're getting at. --Dfeuer (talk) 21:25, 27 May 2013 (UTC)