Axioms and Basic Properties

Induction

The Division Algorithm and Greatest Common Divisors

Primes and Unique Factorization

Congruences

Generalizing a Theorem