Stav dette: Introduction to model theory and to the metamathematics of algebra