Model theory is the core part of mathematical logic. The objective of this reading course is to introduce the basic setup of the subject which finally leads to the Gödel completeness theorem. Applications include the inprovablility of the negation of the axiom of choice from the standard axioms of set theory. Students should seek approval from the instructor to take this course.