« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions

À la place de la deuxième condition, on peut songer à une condition plus restrictive : les éléments d'un ensemble nouvellement défini doivent être des ensembles antérieurement définis. C'est la condition de prédicativité. Mais cette condition interdit de définir l'ensemble des parties d'un ensemble infini, parce qu'il est indénombrable. Comme l'ensemble des parties d'un ensemble bien défini est lui-même bien défini, il faut accepter qu'un ensemble bien défini puisse avoir pour éléments des ensembles qui n'ont pas été antérieurement définis.