|
|
|
||
Last update: RNDr. Jakub Staněk, Ph.D. (17.06.2019)
|
|
||
Last update: RNDr. Martin Rmoutil, Ph.D. (17.06.2019)
The course is finished by passing an oral exam. Students will be asked to formulate and explain definitions, theorems and proofs from the lecture; there will be enough time to prepare written notes before discussing the questions with the examinator. A precise list of requirements will be available on the website of the lecturer. |
|
||
Last update: RNDr. Martin Rmoutil, Ph.D. (17.06.2019)
Basic notions of propositional and predicate calculus.
A general account of axiomatic theory, including a short mention of consistency and completeness.
The purpose and influence of set theory in mathematics.
Axioms of ZFC.
Comparing sets by cardinality, Cantor-Bernstein theorem, Cantor's theorem.
Natural numbers in set theory. Finite and countable sets.
Integer, rational and real numbers.
Ordinal numbers, their order, and operations on them.
Axiom of Choice and its equivalents.
Cardinal numbers, order and operations. |