Visa apresentar um primeiro contato com o rigor matemático, ensinar os alunos a demonstrar proposições simples, de modo rigoroso e coerentemente redigido, a partir de conceitos desenvolvidos no ensino médio. Devem ser introduzidas apenas noções básicas de lógica e conjuntos, além de princípio de indução, conjuntos de números (naturais, inteiros, racionais, reais e complexos), sequências reais e noções básicas de combinatória.