Chapitre 1 Ordinaux, Cardinaux, Axiome du Choix
formelle pose quelques difficultés métamathématiques, qui ne correspondent ... un exercice pour s'entraîner à la récurrence transfinie : Exercice 1.1.18.
formelle pose quelques difficultés métamathématiques, qui ne correspondent ... un exercice pour s'entraîner à la récurrence transfinie : Exercice 1.1.18.