Natural and Rational Numbers

To be completed

• Archimedean Property
• Density of Q in R
• Rationals do not satisfy completeness axiom
• Nonempty sets of integers are bounded