The main focus is given to rigorous proofs rather than computations. Tentative topics are: Real numbers (algebraic, order and distance structures); Archimedean property; Sequences and their limits.