Mot : formalisation
Catégorie : N
Définition : Formulation précise et structurée selon les formes requises dans un domaine scientifique.
Exemples : La formalisation de la théorie des ensembles est l'œuvre de Bolzano (1851), Dedekind (1872-1888) et Cantor (1874-1891).