logic and proofs; set theory, relations and functions; cardinality and examples on mathematical structures.