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