Sets of Numbers/Field Axioms