Axiome d'extensionnalité

Bonjour,

"Axiome 1. L’axiome fondamental est l’ axiome d’extensionnalité pour les ensembles, qui dit qu’un ensemble est totalement caractérisé par ses éléments [...] : « deux ensembles qui ont les mêmes éléments sont égaux »."

Pourquoi le mot extensionnalité ? Qu'est-ce qu'on "étend" ?

Merci d'avance.

Réponses

  • Par opposition à "intensionalité". Deux définitions différents (intentions) peuvent donner lieu au même ensemble.
Connectez-vous ou Inscrivez-vous pour répondre.