These come as a second step. In the first year (non US) you learn linear algebra, some real analysis and how to write proofs as well as important basics. In yo

These come as a second step. In the first year (non US) you learn linear algebra, some real analysis and how to write proofs as well as important basics. In your second year you can choose all these electives, which then don't have to spend time introducing natural numbers, induction etc.