DEFINISSABILITE

Source: http://www.peiresc.org/DINER/Lexique.pdf

 

C'est la qualité éventuelle d'un terme ou expression d'une langue donnée de pouvoir être défini de l'intérieur de la langue elle-même. C'est une qualité peu probable en l'absence de termes primitifs non définis dans le système formel qui servent à définir les autres. Ainsi la théorie axiomatique des ensembles contient deux termes primitifs, le symbole de la relation d'appartenance et l'ensemble vide.