FOUNDAMENTALS OF MATHEMATICS

Course objectives

General aims: to acquire basic knowledge and skills in axiomatic set theory and to be able to apply them in various contexts, including teaching. Specific aims: Knowledge and understanding: The successful student will have acquired basic notions and results in mathematical logic: axioms and main results of the theory ZF; ordinal numbers; the axiom of choice; cardinal numbers; paradoxes in several areas of mathematics. Applying knowledge and understanding: The successful student will be able to solve exercises and problems referring to the topics covered and to application in other mathematical areas. S/he will perform computations with ordinal numbers and cardinal numbers; s/he is familiar with mathematical translations of the notion of infinity. S/he will be able to apply her/his knowledge in an education context. Critical and judgmental skills: The successful student will be familiar with mathematical rigor and formalism. S/he will have reflected on known mathematical contents; s/he knows how to tackle questions about the foundations of mathematics in a critical way. S/he will be able to discuss the role of intuition and rigor in teaching mathematics in different situations. Communication skills: The successful student will be able to present subjects and arguments in the oral test, and to explain what s/he learned. Learning skills: The acquired knowledge will allow to study more specialized subjects. The student will be motivated to extend the acquired knowledge.

Channel 1
ALESSANDRO GAMBINI Lecturers' profile

Program - Frequency - Exams

Course program
Paradoxes and antinomies The intuitive set theory The axioms of Zermelo and Zermelo-Fraenkel Well-order and transitive sets Mathematical induction Ordinal numbers and ordinal arithmetic The successions of Goodstein Axiom of choice and equivalent statements Cardinal numbers and cardinal arithmetic The Continuum hypothesis
Prerequisites
Basic algebra and analysis knowledge. Knowledge of intuitive set theory.
Books
Dispense del corso: Fondamenti della Matematica Claudio Bernardi, Mario Magnago, Marco Rainaldi, Mariella Serafini
Teaching mode
Frontal lessons
Frequency
Class attendance is not compulsory but recommended
Exam mode
Short written text followed by an oral examination to verify the knowledge and understanding of the topics covered in the course.
Bibliography
D. van Dalen, H.C. Doets, H. de Swart, Sets: naive, axiomatic and applied, Pergamon Press, 1978 V.M. Abrusci, L. Tortora de Falco, Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi, Springer 2018 A. Abian, La teoria degli insiemi e l'aritmetica transfinita, Feltrinelli, 1972 K. Kunen, Set Theory: An Introduction to Independence Proofs, North-Holland Publishing Company, 1980 K. Hrbacek, T. Jech, Introduction to set theory, Dekker, 1999 T. Jech, Set theory, Springer, 2003 P. J. Cohen, Set theory and the continuum hypothesis, W.A. Benjamin, 1966 H. Rubin, J.E. Rubin, Equivalents of the axiom of choice, North-Holland, 1970
Lesson mode
Interactive lectures with discussion.
  • Lesson code1031373
  • Academic year2025/2026
  • Coursecorso|33603
  • CurriculumDidattica e storia
  • Year1st year
  • Semester2nd semester
  • SSDMAT/04
  • CFU6
  • Subject areaFormazione matematica teorica avanzata