Hacker News new | ask | show | jobs
by itchyjunk 529 days ago
The axiom is used to give an alternative construction of real. Everything starts with some axioms somewhere.