Proof Verification : Prove -(-a)=a using only ordered field axioms
31722
Prove $-(-a)=a$ using only ordered field axioms
145759
formal proof from calulus
156235
Are $x \cdot 0 = 0$, $x \cdot 1 = x$, and $-(-x) = x$ axioms?
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
51243
Proving a Statement using Mathematical Induction
107281
Proof of Existence of Algebraic Closure: Too simple to be true?
84562
Proof using only field axioms
131132
Proofs using vector properties
127296
prove that a|b and b|a iff a=+-b
96748
Formal deductions on Hilbert system
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
151356
Need Hints Prove "$((\neg \alpha \to \alpha) \to \alpha) $" Using Axiom 1,2,3 and MP and deduction theorem
140167
Proving $A+A'B=A+B$ without truth tables
146339
Proof of -(-v)=v in a vector space
150385
The use of the Axiom of Choice in this proof of the sequence lemma
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
115649
Proving two sets $A, B$ are order isomorphic