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

Contenu supprimé Contenu ajouté
Ligne 29 :
 
On ne peut parler de « mensonge » sans ouvrir une voie sémantique avec « vérité ». C'est aller un peu vite en besogne, car ce serait considérer que le lien entre ces deux espaces est un lien « fixe ». Autrement dit, pour reprendre d'autres termes, que ces deux espaces sont '''énumérables''' ou que l'on peut ''décider'' de leur consistance. Nous ne pouvons pas utiliser cette qualification pour différencier les deux espaces qui s'opposent et « voyager » d'un espace à l'autre. Nous utiliserons la syntaxe [[Logique_des_propositions/Introduction|propositionnelle]] pour représenter une CAB : <br><br>
<center>''Soit une CAB munie d'une DA, alors 1 → <math>\lnot</math>1''</center><br>
 
 
=== Champ sémantique ===