400 - Formalize the notion of field using mathematical functions and Calculus

Formalize the notion of field using mathematical functions and Calculus