Axioms for the Real Numbers: A Constructive Approach
arXiv:1808.00906
Abstract
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.
arXiv:1808.00906
We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.