Il a formalisé sa démonstration mathématique.
La théorie des ensembles est formalisée par Bolzano (1851), Dedekind (1872-1888) et Cantor (1874-1891).
Accueil / Dictionnaire / formaliser