loi de De Morgan bijectivité suite récurrente parties d'un ensemble suites de Cauchy opérations fondamentales sur les ensembles intervalle borné surjectivité bornes supérieures et inférieures successeur nombres rationnels théorème de Bolzano-Weierstrss idempotence suite arithmétique principe de récurrence forme algébrique propriétés des opérations fondamentales sur les ensembles nombres naturels injectivité supremum et infimum intervalles nombres réels opérations logiques fondamentales suite géométrique conjugué nombres complexes forme exponentielle tables de vérité propriétés des nombres réels théorème de Moivre suites numériques ensemble de définition forme trigonométrique et exponentielle d'un nombres complexes module et argument d'un nombre complexe démonstration par récurrence axiomes de Peano différences ensemblistes récurrence forte forme polaire théorème fondamental de l'algèbre théorème de la limite unique