ParentFull threaditchyjunk·The axiom is used to give an alternative construction of real. Everything starts with some axioms somewhere.View on HN