Foundations of Mathematical logic and set theory.
Consolidation of knowledge of the relationship between logic and set theory
Naive set theory. Cardinal and ordinal arithmetic. Historical development of the concept of proof. The formalization of logic. Induction Principle. Peano arithmetic. Formalized set theory.
Lecture notes of the teacher.