Différences entre les versions de « Précis d'épistémologie/Les fondements des mathématiques »

 
''{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)''.
 
4 741

modifications