The Integers

  • James M. Henle
Part of the Problem Books in Mathematics book series (PBM)


Project # 13. 3.1. As you try to prove transitivity you will realize that you are missing an important fact about ℕ, a cancellation law:
$$if\;a{ + _\mathbb{N}}b = a{ + _\mathbb{N}}c\;\;then\;\;\;b = c.$$

Copyright information

© Springer-Verlag New York Inc. 1986

Authors and Affiliations

  • James M. Henle
    • 1
  1. 1.Department of MathematicsSmith CollegeNorthamptonUSA

Personalised recommendations