Question about ordered field axioms

[AxiomOfChoice]

If you have a > b and c \geq d, do you have a + c > b + d?

[Moo Of Doom]

Yes you do, but it's a theorem about ordered fields, not an axiom (usually). You may try to prove it from the axioms.