constructing the integers

Summary

The integers can be constructed from the natural numbers.

Context

This concept has the prerequisites:

Goals

  • Construct the integers from the natural numbers
  • Define addition and multiplication, negation, and the comparison operators
  • Show that all of these have the properties we would expect

Core resources (read/watch one of the following)

-Paid-

See also

-No Additional Notes-