Enables readers to prove hundreds of mathematical results. This title presents the formal development of natural numbers from axioms, which leads into set theory & transfinite induction. It covers Peano's axioms, weak & strong induction, double induction, infinite descent downward induction, & variants of these inductions.