O poprawności logicznej definicji wyraźnych

Abstract

Nous nous proposons d'examiner certaines proprietes souvent exigees des definitions, principalement celles d'être éliminables et non créatrices, á'travers différents objectifs qu on poursuit en définissant. Bien que les langues naturelles fassent usage de definition, nos développements auront pour axe la notion telle que les systemes formels la connaissent sous le nom de "definition explicite" ou "directe". Encore qu' il s agisse d'une rationalisation du sens le plus courant, comme nous le verrons, nous ne voulons pas faire entendre qu eile recolt la son vrai sens - si du moins on comprenait quelle rend les autres hors d usage - mais son emploi le plus codifié.