Modules

set-theoretic definition of natural numbers