Our work focuses on the transition from high school to university in the field of calculus. In France, recursive sequences are studied as one of the classical exercises in both institutions. Their studies use different theorems and notions, such as functions, convergence, monotonicity, induction, etc. The work expected at this transition requires…

A problem sequence is presented developing the basic properties of the set of natural numbers (including associativity and commutativity of addition and multiplication, among others) from the Peano axioms, with the last portion using von Neumann's construction to provide a model satisfying these axioms. This sequence is appropriate for…