Set Theory and Logic

Catalog description

An introduction to logic, mathematical proof, and elementary set theory. Topics include elementary logic, relations, partitions, functions, cartesian products, disjoint unions, orders, construction of the natural numbers, ordinal and cardinal numbers, the Axiom of Choice, and transfinite induction. Special emphasis will be given to proving theorems.