After completing the course, the student can work with formulas from propositional logic and predicate logic, and knows their meaning and use. In particular, the student can prove the validity of a logical formula in a formal deductive system with assumptions, inferences and conclusions. The student can put his logical knowledge to work, in particular to prove formulas of set theory, having developed both the skills and the understanding of the fundamental mathematical abstractions in the area of sets, including relations, functions, orderings and induction