Field axioms

A field is a set of numbers together with the Field axioms.

Let F be a field. Then, assuming a, b, and c are elements of F, the following axioms hold: