The Mathematics Department at Cornell University has recently secured a grant from the University to implement systemic change in how we teach courses that reach students at critical transition points in their mathematical development. In this article, we report on the changes made to our large multi-section first-semester calculus course in order…

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…