Proposition: Every Natural Number Is Greater or Equal Zero

Given any natural number \(x\in\mathbb N\), we have either \(x=0\), or \(x > 0\) (altogether \(x\ge 0\)).

Proofs: 1

Proofs: 1


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

Github:
bookofproofs


References

Bibliography

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