formaliser

Définitions

Formaliser employé comme verbe

  • Structurer de manière formelle, formuler avec précision selon les règles en vigueur dans un domaine scientifique.

    Exemples

    Il a formalisé sa démonstration mathématique.

    — Blaise Cendrars, Bourlinguer, Denoël, Paris, 1948

    La théorie des ensembles est formalisée par Bolzano (1851), Dedekind (1872-1888) et Cantor (1874-1891).

    — Blaise Cendrars, Bourlinguer, Denoël, Paris, 1948