Fue miembro fundador del grupo Bourbaki, del que fue uno de los más activos miembros.