« Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions » : différence entre les versions
Contenu supprimé Contenu ajouté
m apparence |
|||
Ligne 1 :
{{Chapitre_align|align=right|titre=Les expressions formelles, les ensembles et les fonctions|idfaculté=mathématiques|leçon=[[Fondements des mathématiques]]|numero=3}}
{{Fondements des mathématiques}}▼
Ce chapitre expose les problèmes de l’existence des êtres mathématiques. Qu’est-ce qui existe au sens mathématique ?
Ligne 179 ⟶ 176 :
A 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.
| |||