Statements, Connectives, Tautology and Contradiction, Equivalent Statements, Open Sentences and Quantifiers and their Negations. Natural Numbers and Integers (Definition of: odd, even divides, GCD, LCM, The Euclidean Algorithm), Rational Numbers and Irrational Numbers (Definitions). Mathematical Proof (direct, indirect and proof by contradiction, proof in two or more parts), Mathematical Induction, Complete Induction. Sets (definition, belonging and inclusion), Power Sets (the number of elements in a power set with proof by induction), Union, Intersection, Difference, Universal Sets and Compliments, Indexed Family of Sets (with the Archimedean Property), Arbitrary Union and Arbitrary Intersection, Pairwise Disjoint Family of Sets, Generalized De Morgans Laws. The Well-Ordering Principle of Natural Numbers and its proof by induction, Cartesian Product of Sets, Permutations and Combinations and Pascal Triangle, Binomial Theorem.