Students will learn an important mathematical concept called induction, as well as a rigorous way to construct the natural numbers.
