Formaliza números reais, sequências, continuidade, diferenciação e integração por definições e teoremas. O foco está em demonstrar resultados que o cálculo costuma usar intuitivamente.
