Proposition: Comparing Natural Numbers Using the Concept of Addition

Given two natural numbers \(x,y\), only one of the following cases can be true:

  1. Either \(x=y\),
  2. or there exists exactly one natural number \(u\neq 0\) with \(x=y+u\),
  3. or there exists exactly one natural number \(u\neq 0\) with \(x=y+u\),

Proofs: 1 Corollaries: 1

Definitions: 1
Proofs: 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Landau, Edmund: "Grundlagen der Analysis", Heldermann Verlag, 2008