Abstract

Devant l’intuitionisme, on conçoit un cours d’analyse amputé du nombre irrationnel. Des théorèmes qui semblent liés à l’arithmétisation du continu subsistent pourtant, dans le style finitiste, remplaçant le style totalitaire. Le trait d’union est le critère de convergence de Cauchy. Cette idée révèle des domaines de non-contradiction et favorise les efforts de coordination, par exemple pour les problèmes d’une infinité d’équations à une infinité d’inconnues.