Logic, proofs. Set theory. Relations and functions. Finite and countable sets. Induction. Examples of axiomatic mathematical theories.
Logic, proofs. Set theory. Relations and functions. Finite and countable sets. Induction. Examples of axiomatic mathematical theories.