field axioms proof

Printable View