Axioms of real numbers
103014
Is the real number structure unique?
13656
Prove existence of a real root.
118314
How to define $x^a$ for arbitrary real numbers $x$ and $a$
81154
Characterising reals with terminating decimal expansions
20252
The Axiom of Choice and the Cartesian Product.
154822
Properties of the composition law $a @ b= ab + b + a$ on the real numbers
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
11586
Sequences of Real Numbers in a closed bounded interval
16796
Zermelo-Fraenkel set theory and Hilbert's axioms for geometry
139505
Peano/Presburger axioms - "find" numbers lower or equal than another number
154406
Real analysis - proof approach help
116135
A paradox related to computable reals?
5313
Existence of how many sets is asserted by the axiom of choice in this case?
17022
Definable real numbers
61500
If f is continous and exist real numbers show that $f(x)=0$
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
138446
Proving that there exists an irrational number in between any given real numbers