« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 70 :
=== Ensemble analogique ===
Chaque ensemble originel généré par une CAB peut ainsi être organisé sous la forme d'un « regroupement » d'objets élémentaires ayant une similitude sémantique avec l'OGE initial. Ce regroupement est qualifié d'[[w:Ensemble|ensemble]], dont chaque OGE est un élément distinct d'un autre. Le contenu de cet ensemble peut être listé (énuméré) et faire l'objet de toutes sortes de manipulations (équivalence, ordre, classement, tri, ...). Cette particularité a initié l'axiome du choix pour désigner un tel ensemble. Il est ainsi possible de choisir l'un quelconque des OGE, de lui affecter la valeur de champ sémantique, puis de décrire la CAB l'opposant aux autres OGE : <br><br>
<center>''Soit x ∈ {x}, alors x <math>\lnot</math>∈ {<math>\lnot</math>x}''</center><br>
Ceci sous-entend qu'une « frontière » sépare {x} de {<math>\lnot</math>x}. Et que nous puissions franchir cette frontière en passant d'un ensemble analogique à l'autre ensemble non-analogique. L'ensemble analogique sera « contenu » '''à l'intérieur''' de cette frontière (ou limite). Pour fixer l'idée, nous prendrons le champ sémantique de la numération dont les OGE sont des nombres <u>complets</u>. Nous choisirons 3. Et nous définirons l'ensemble analogique entre 2.5 et 3.5.
C'est ainsi que tous les mensonges énumérables peuvent être regroupés dans un champ sémantique organisé autour de l'un d'entre eux, dans un ensemble analogique contenu dans un cadre limite, jusqu'à « franchir » cette limite et pénétrer dans un espace non-analogique.
=== Ensemble paralogique ===
| |||