Set theory
Summary
Foundations of Mathematics: Set Theory
About
The course treats Zermelo-Fraenkel set theory, ZFC, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers are presented and strong emphasis is placed on the cumulative hierarchy and on the role of the axiom of choice in the axiomatization of the concept of set.
Explore the fundamental language of mathematics with this course in set theory—an essential area of logic that underpins modern mathematical thinking.
You’ll learn how mathematical objects are built from simple axioms and gain insight into key concepts such as number systems, cardinal and ordinal arithmetic, and the structure of sets. The course also places set theory in a broader logical and historical context, helping you understand its role within mathematics.
Along the way, you will develop strong skills in constructing rigorous proofs, solving abstract problems, and analysing mathematical results critically.
Prerequisites and selection
Entry requirements
Admission to the course requires successful completion of
- at least 60 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or
- at least 90 credits in philosophy or linguistics, and at least 30 credits in total in the subject areas mathematics, logic, computer science or formal linguistics,
or equivalent knowledge.
English 6 or equivalent is also required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
Facilities
The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several study areas and group rooms.
More information about facilities
Recommended study route
The course is mainly taught by means of lectures, seminars, workshops and project work (or equivalent).
