The course is a study of the properties of numbers and their proofs. It presents the students with different methods of mathematical proving. It focuses on the discussion of the set of integers including Unique Prime Factorization, Divisibility Rules, Euclidean Algorithm, Linear Congruence, and Linear Diophantine Equations.