- Théorie des ensembles, introduction
- théorie des ensembles, théorie qui s'écrit dans sa version axiomatisée (J.L.Krivine 1970) en langage des prédicats.
Ce langage a été mis au point grâce à Pierce dans le prolongement des travaux de Frege qui voulait écrire l'arithmétique en raison, conduisant à la découverte de l'incomplétude avec Gödel. in L'envers du narcissisme, JMV
- voir Zermelo-Fraenkel,
- L0T0 (Langage Théorie)
- S0T0 (Système d'écriture, Théorie)
- La théorie axiomatisée des ensembles par J-M.Vappereau,
- Cantor, la théorie des ensembles, L392, in Raison et fonction de la topologie dans la psychanalyse,par JMV
- voir Forcing, Cohen,

- Les Eléments de mathématique de N.Bourbaki prennent le concept de structure comme concept fondamental : ils présentent les mathématiques comme le science des structures. Ainsi la théorie des ensembles ordonnés étudie en fait les structures d'ordre, c'est-à-dire les structures définies par une relation d'ordre. Or ce qui caractérise une relation comme relation d'ordre, ce sont certaines propriétés formelles (assymétrie, transitivité,) qui sont indépendantes des ensembles particuliers que la relation ordonne et de l'espèce particulière d'ordination dont il s'agit. Ces considérations peuvent se généraliser pour des structures plus compliquées. L'une des conditions essentielles dans la définition d'une structure, c'est le caractère transposable de la relation qui la spécifie (Bourbaki, Elements de mathématique Chap IV, par 1,3,4). Intuitivement on peut exprimer cette condition en disant que cette relation doit être indépendante de son support qui est de nature ensembliste, or ce par quoi elle a ce caractère c'est son aspect formel. Ladrière 574

- Hintikka montre un contre exemple de la démonstration de Quine, son livre de 1950 (Méthode de logique) , que la complétude de ses calculs qui sert à écrire toutes les mathtématiques, et y compris la théorie des ensembles , il a cru démontrer que le système des prédicats du premier ordre quantifié était complet. Hintikka montre en 1996 dans son livre Revisitation, 1996, traduit en 2007, qu'il faut rajouter un caractère , car ce n'était pas complet et dans son livre Les principes de mathématiques revisités, Hintikka propose une logique douce, friendly, et cette invalidation que le calcul des prédicats du premier ordre est incomplet contre la position de Quine, qui en faisait un argument fort pour pour adopter une attitude isolationniste depuis les années 1950, jusqu'en 1960 ou il vient au Collège de France et publie La philosophie de la logique qui repose sur une pétition de principe que sa logique est élégante et simple, consistante et complète, sans paradoxe, c'est ce que révèle Hintikka. Quine a milité pour que l'on abandonne tout intérêt pour les autres logiques, non classiques, non standard,
- Lecture des formules de la sexuation, texte ingéral, JMV 2007 (SEPARATION), voir 6 annexes de logique, ici la Table des matières,

- La topologie algébrique peut être traitée comme un problème de mots écrits avec des grandes Lettres et des lettres minuscules. Problème qui relève de la théorie des graphes. Essaim p 54
- Etudes ou explorations qui cherchent à associer des structures de l'algèbre à des objets de la topologie. Cette discipline mérite d'être qualifié de topologie algèbrique. Milnor fut un pionnier et un champion de cette pratique. Il rencontre le noeud borroméen comme chaîne presuqe triviale. ça claque, p21, revue Essaim, JMV 2008

- son usage le plus simple, se réduit au recours à des graphes dans l'étude d'une syntaxe. L'ordre des éléments constituants est essentiel dans la phrase. La syntaxe est l'étude des structures d'ordre dans les énoncés. Essaim p54
- Conférence : Lacan et les mathématiques, conférence de Rouen, JMV, 09022011
- les raisons de la topologie en psychanalyse, conférence à la Sorbonne, JMV, 05022011

- La topologie du sujet,
-la topologie générale rejoint la topologie du sujet : graphe,
- lecture des formules kantiques de la sexuation (texte intégral ), 2007, JMV, Schémas et graphes

- Sa matière est constituée par des séries de lettres, dont l'ordre peut être un graphe, ou celle de structures algébriques ou de structres topologiques. La structure de groupe les compose !
- La tâche de la topologie du sujet est :
a- d'isoler les question mathématiques élémentaires en apparence qui peuvent lui fournir des arguments.
b-Esquisser les dimensions dont l'obstacle à la formalisation rend raison, de ses impossibilités même.
c- De se délimiter er de se définir elle-même.
-Rapport du la topologie du sujet avec les calculs connexes : La topologie du sujet soit être distinguée de la logique classique (Booléenne) et de la science des énoncés réfutables (Popper), où la vérité n'intervient qu'au titre du vrai. Elle se distingue aussi de la psychologie version récente de la théologie. Mais si la topologie traite de la question du sujet, faut-il l'incorporer à la Philosophie ? Y-a-t-il une relation entre elles ? C'est un problème connexe à l'achèvement de la Métaphysique, qui ne peut être compris sans elle, ni sans sa cessation !
La topologie du sujet accomplit cet achèvement non sans faire corps avec ce qu'elle éclaire. ( Achèvement = Réunir un discours sur ses énoncés les plus extrêmes, articuler le particulier à l'universel. ).
La topologie du sujet pose des problèmes à la science du calcul mais ne lui en demande aucun. Pas de confusion entre ces disciplines. L'essentiel des lettres de celui qui parle est étranger au caractère élégant et économique des calculs algébriques.
Les dessins topologiques sont à articuler comme construction de mathèmes (éléments différentiels derniers dans expressions mathématiques). Ils se prêtent à des calculs. Ces dessins sont des symboles abréviateurs qui condensent de longues pages de calculs. Autre économie que celle du calcul, autre idélisme. Ces dessins sont propres à être lu comme des formules consistantes, à la virgule près ! Le signifiant est articulé !
La géométrie est nettement distincte de de la topologie, mais avec des points de contact et des appréciations mutuelles (voir p 143) .
Utilité de la topologie du sujet ? Tous ceux, linguistes, historiens, ... qui ont à manier des textes. Ou pour votre culture générale, car la structure du langage est un facteur décisif ! Son étude n'est pas que l'affaire de spécialistes.
.... Esssaim p 42.

- DI (ou la Dei)=trauma=le Phallus=la Parole=fonction phallique
- "Les parents ne s'entendent pas crier !", c'est le traumatisme fondateur et précurseur de tous les autres. Lacan, S XXVII, Dissolution, 10 juin 1980,
- Freud distingue les traumatismes venant de l'extérieur, de ceux venant de l'intérieur. Pour Lacan le traumastisme fondateur est le malentendu des parents (Oedipe), qui ne s'entendent pas crier. Méconnaissance de l'objet qui imprime son profil vocal, objet de la théorie des ensembles, soit une lettre ! Etoffe p 29. Ces traumatismes sont actés dans la parole, l'écriture ou la lecture, le plus souvent en toute méconnaissance et au titre de la répétitionn freudienne au service du refoulement ( ! dont acte!).
Freud distingue une surface perceptive tournée vers l'extérieur, d'une surface de conscience enveloppant l'intérieur. Etoffe p 29
- La DI, la droite infinie, 2006, J-M.V,
- voir Troumatisme in Trou,

- Le noeud de trèfle, le 222-33 et le 3T : 33-222,
- Le trèfle,
- Les nœuds propres et impropres se répartissent en deux familles dites Trèfles et Listing Np81

- Le vide est défini par l'ensemble vide
- Le trou lui est plus ou moins substantifiable, alors que le vide en théorie des ensembles serait de l'ordre de l'essence, d'après, Etoffe, p80
Ici, substance et essence correspondent à la différence entre la définition en extension et la définition en intension d'un ensemble.
- Le troumatisme : La DI, la droite infinie, 2006, J-M.V