Propositional logic. First order logic. Elements of set theory.
To consolidate, also by considering the historical point of view, the knowledge of the relationship between Logic and Set Theory.
Ordinal and cardinal transfinite numbers. Proofs in Mathematics: history and examples. Formal Languages. Propositional language and metatheorems. The formalization of Arithmetics. Axiomatic Set Theory.
Lecture notes provided by the teacher.