Question about ordered field axioms

  • Thread starter Thread starter AxiomOfChoice
  • Start date Start date
  • Tags Tags
    Axioms Field
AxiomOfChoice
Messages
531
Reaction score
1
If you have a > b and c \geq d, do you have a + c > b + d?
 
Physics news on Phys.org
Yes you do, but it's a theorem about ordered fields, not an axiom (usually). You may try to prove it from the axioms.
 

Similar threads

Replies
72
Views
7K
Replies
3
Views
2K
Replies
7
Views
2K
Replies
2
Views
2K
Replies
2
Views
1K
Replies
34
Views
2K
Replies
9
Views
1K
Back
Top