◀ ▲ ▶Branches / Number-systems-arithmetics / Proposition: Uniqueness Of Predecessors Of Natural Numbers

Proposition: Uniqueness Of Predecessors Of Natural Numbers

Every natural number \(x\neq 0\) has a unique predecessor \(u\), i.e. there is exactly one natural number \(u\) such that \(x\) is its successor \(x=u^+\).

Table of Contents

Proofs: 1

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

Github:

References

Bibliography

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