MATH 700 - Set Theory and Logic

Credits: (3)

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.