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

Contenu supprimé Contenu ajouté
Ligne 181 :
 
''{x,y}=z'' est défini par ''Pour tout w, w est élément de z si et seulement si (w=x ou w=y)''.
 
''y est l'ensemble-somme de x'' est défini par ''Pour tout z, z est élément de y si et seulement s'il existe w tel que (w est élément de x et z est élément de w)''.