I plan to start from far away, explaining some of the ideas behind model theory and its analysis of algebraic objects, in particular fields. I will work through a couple of important examples of fields, and what model theory has to say about them, leading to a model-theoretic proof of the Ax-Grothendieck theorem.