Recherche:Principe de complétude/Objectifs

L'ensemble des théories étant incomplet, puisqu'il existe (au moins une) théorie non énumérable : la théorie M, il est proposé ici de l'énumérer, ce qui revient à formaliser une liaison complète des parties non liées de cet ensemble qui pourrait alors s’utiliser comme une structure (éléments organisés) fonctionnelle. Cela revient à gommer l'écart qui sépare deux éléments discrets considérés comme non-joignables.