This text offers an introduction to mathematical proofs and to fundamentals of modern mathematics. It covers proofs, predicate calculus, set theory, elementary number theory, relations and functions, and also applies the material to a more advanced study of selected topics.