« Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions » : différence entre les versions

{{à scinder}}

{{Chapitre

| titre = Les expressions formelles, les ensembles et les fonctions

| idfaculté = mathématiques

 

À partir des théorèmes de Cantor et de la dénombrabilité de tout ensemble de noms, on peut conclure que si un ensemble E est infini, alors l’ensemble P(E) de ses parties est indicible.