Gateway course to theoretical mathematics courses. An introduction to methods of mathematical proof using primarily the topics of logic, set theory, functions and relations, number theory, and simple axiomatic systems such as the real numbers and matrices. Prerequisite: Successful completion of MATH 255 (or equivalent) with a grade of C- or better. Fall.