« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 181 :
* Les vérités atomiques d'appartenance à un ensemble nouvellement défini doivent être déterminées par la définition de l'ensemble et les vérités atomiques d'appartenance aux ensembles antérieurement définis et à leurs parties.
À 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. Mais cette condition
L'axiome de Frege ne respecte pas la deuxième condition, parce que les éléments d'un ensemble nouvellement défini ne sont pas nécessairement des ensembles antérieurement définis ou des parties de tels ensembles.
|