MATH 350 Mathematical Logic

A metamathematical investigation of the main formal language used to symbolize ordinary mathematics: first order logic. The focus is on the two fundamental theorems of logic: completeness and compactness. Gödel's completeness theorem says that every intuitively valid consequence is formally provable from the hypotheses while compactness says that every intuitively valid consequence of an infinite premise set really depends on only finitely many premises.