The set of hyperreal numbers is a field which contains $\mathbb R$ (real numbers) and some "infinitesimal" and "infinite" numbers. It will be constructed using model theory, so some basic facts and theorems in model theory will also be mentioned, such as Łoś's theorem and compactness of first order logic (and some applications if time permits).