Sert d'interface entre les mathématiques du lycée et celles du premier cycle de l'enseignement supérieur. Facilite ainsi la compréhension et l'écriture (quantifiée) des énoncés du langage mathématique, fournit les méthodes élémentaires de démonstration, et introduit une programmation structurée et automatique des démonstrations plus complexes.