« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions

Contenu supprimé Contenu ajouté
Direction axiomatique
Ligne 33 :
 
=== Champ sémantique ===
Si l'espace d'origine est ''énumérable'', on peut « l'organiser » en interne. La DA devient un [[w:Endomorphisme|endomorphisme]] qui génère des combinaisons sémantiques, dont certaines seront orthodoxales et d'autres, paradoxales. Mais nous ne savons pas les différencier tant que nous n'avons pas identifié les « points d'application » du vecteur directionnel axiomatique. Nous savons simplement que, dans un espace intelligent, '''il existe''' (prédicat) une CAB muni d'une DA, fonctionnelle.
 
Nous pouvons décrire cet état de fait comme un '''champ sémantique'''. Nous savons alors que nous pouvons activer ce champ sémantique en énumérant un « élément » de l'espace sur lequel il opère pour mettre en lumière une CAB. Il nous faut donc un deuxième postulat : <br><br>