L 'univers ''x=x''

Bonsoir
Je cherche à prouver que l’univers n'est pas un ensemble.
Merci.

Réponses

  • Qu'est-ce que l'univers ?
  • L'univers c'est la collection de tous les ensembles
  • S'il existe un ensemble $u$ de tous les ensembles, le schéma de compréhension entraîne qu'il existe également un ensemble $r$ tel que pour tout $x$, $x\in r$ si et seulement si $x\in u$ et $x\notin x$.

    On a forcément $r\in u$ et par suite $r\in r$ si et seulement si $r\notin r$ ce qui entraîne une contradiction (Paradoxe de Russell).
    Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
  • Oui mais qu'est-ce qu'un ensemble ?

    Bon après je me demandais ce que c'est qu'être.

    bises,
    S
Connectez-vous ou Inscrivez-vous pour répondre.