En deuxième partie, je verrais bien développé l'idée suivante : Les cardinaux, finalement c'est un truc pour répondre à une question bien embarrassante : qu'est ce qu'un nombre entier. On sait bien construire Z avec N, Q avec Z, R avec Q, C avec R, puis les espaces vectoriels, puis les variétés et tout le toutim, mais comment construire N ?