To prove basic properties of real numbers using field axioms
39514
how do I prove that $1 > 0$ in an ordered field?
78290
Countable axiom of choice: why you can't prove it from just ZF
151011
Fields - Proof that every multiple of zero equals zero
62936
Proving equivalencies of two versions of the Axiom of Choice
148239
natural deduction proof with De Morgan's laws
140968
Proof for Property of Complex Numbers
81895
A generalisation of the fundamental theorem of algebra
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
103463
Mantel's Theorem proof verification
79725
Fields of arbitrary cardinality
133617
Relatively prime property verification
70262
Can the axiom of choice be used to define the real numbers?
153975
Proving mathematical induction with arbitrary base using (weak) induction
5893
On the commutative property of multiplication (domain of integers, possibly reals)
106960
Proof to sequences in real analysis
116009
Proving that if a set is both open and closed then it is equal to the real numbers
22232
Proving that cardinality of the reals = cardinality of $[0,1]$