The goals of the course are first and foremost, to become proficient in the culture and practice of theoretical mathematical thinking, to:

- understand written mathematics
- communicate mathematics
- study mathematics effectively in an independent way
- distinguish logical correctness and error
- cultivate mathematical creativity
- synthesize and use novel definitions
- create novel proofs

and, I hope, to enjoy the process.

Second, we aim to become proficient in the use of

- logic
- set theory
- functions
- relations
- induction
- counting
- further topics