Course for international guest/part time students

Faculty

Faculty of Humanities

Organization

BTK Institute of Philosophy

Code

BMA-LOTD17-204.02

Title

Metatheory II.: Set theory

Usual semester

Autumn

Published semester

2026/27/1

ECTS

4

Language

en

Learning outcomes

General aim of the course: The course assumes some familiarity with the basic concepts and methods of standard first-order logic. Content of the course: The course provides a philosophical introduction to set theory. The lectures will cover the following topics: informal introduction to Cantor's paradise; naive set thory as a formal system: the classical paradoxes; the axioms of Gödel-Bernays set theory; a reconstruction of the natural numbers; well-ordered classes; ordinal numbers; the axiom of choice; cardinal numbers; finitization of the axiom system; Gödel's constructible universe. The topics may change during the course, in accordance with student demand. Grading criteria, specific requirements: TBA Required reading: ·         Lecture notes (Last updated at December 11.) ·         Smullyan, R.and Fitting, M., Set Theory and the Continuum Problem. Oxford UP, 1996. Mendelson, E., Introduction to Mathematical logic. 4th ed. Springer, 1997.

Course content

Programmes of the course