je recherche des informations sur les modes de démonstration en Analyse mathématique aujourd'hui. Je crois comprendre que les démonstration de la logique classique: théorèmes, déduction, récurrence, tiers exclus etc.. sont remplacées par des preuves plus subtiles. Merci