Th. des ensembles

[alexis6]

Bonjour,

En ce moment je travaille un peu sur la théorie des ensembles et je me suis posé cette question: l'appartenance est-elle une relation binaire?

C'est ce qui est affirmé dans mon livre " théorie des ensembles " de Krivine. Et pourtant cela me semble impossible.

En effet la relation d'appartenance est définie avant l'axiomatique qui la précise. Or une relation n-aire sur E est définie comme une partie de E^n, c'est à dire un ensemble de couples, eux-mêmes définis en considérant vrai l'axiome de la paire.

Même question pour l'égalité d'ensemble.


Merci