Discussion:Axiome de l'ensemble vide

Discussions actives
Autres discussions [liste]
  • Suppression
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives

VariationsModifier

J'ai remplacé ce § par une explication de la façon dont on déduit cet axiome de la compréhension (je crois que les autres variations n'ont pas trop d'intérêt maintenant). — Le message qui précède, non signé, a été déposé par Proz (discuter), le 5 septembre 2006.

j'ai pas comprisModifier

A=(x/xapparient a A et x n'appartient pas a A) — Le message qui précède, non signé, a été déposé par un utilisateur sous l’IP 41.98.92.180 (discuter), le 17 juillet 2010.

Si ce que vous voulez dire est qu'au lieu de construire le vide par a={xy| x ≠ x} on aurait pu écire a={xa| x n'appartient pas à a}, ça ne marche pas : il y a un cercle vicieux par autoréférence. Par contre c'est vrai qu'on pourrait remplacer x ≠ x par x n'appartient pas à y.Anne Bauval (d) 17 juillet 2010 à 23:18 (CEST)

conséquence du schéma d'axiome de compréhensionModifier

Un point qui à mon avis mériterait d'être précisé : ce qui est une conséquence du schéma d'axiome est que s'il existe un ensemble, alors on peut former l'ensemble vide. En toute rigueur, si l'on admet uniquement le schéma d'axiome de compréhension (plus éventuellement certains axiomes de Z, ou autres), il peut très bien n'exister aucun ensemble, donc a fortiori pas d'ensemble vide. avis non signé laissé sous IP le 21 décembre 2012 à 15:29‎

Le point est que justement en logique du premier ordre les domaines d'interprétation sont le plus souvent non vides, syntaxiquement on peut introduire une variable qui désigne alors un ensemble. J'ai précisé en espérant que ce soit plus clair. Proz (d) 21 décembre 2012 à 19:46 (CET)
En effet dans la logique classique du premier ordre égalitaire dont ZF est une sur-théorie, exists x (x=x) est un thm. Ceci est moins une affirmation ontologique (qui n'existait pas dans la logique de Port-Royal, pour exemple) essentielle qu'une conséquence de règles qui simplifient le formalisme (d'autant que sur un domaine d'objet vide on a peu à dire ;-) ). Sinon clairement se déduit de ZF (notamment en utilisant l'ax de compréhension, mais pas lui seul ; flemme à réfléchir ) qu'il existe un ensemble dont l'ensemble vide, si vous avez un doute sur ce sujet. --Epsilon0 ε0 22 décembre 2012 à 00:05 (CET)
En logique du 1er ordre usuelle, le schéma de compréhension suffit, la démonstration (très simple) est donnée. Proz (d) 22 décembre 2012 à 01:36 (CET)
ah oui ok (peu réfléchi), mais la preuve est si simple que celle de l'article utilise le symbole d'égalité et dit l' ensemble vide ce qui suppose unicité et via l'axiome d’extensionnalité ;-). mais sans doute ce peut être plus rigoureusement dit en sacrifiant la simplicité. --Epsilon0 ε0 22 décembre 2012 à 02:02 (CET)
Revenir à la page « Axiome de l'ensemble vide ».