Among other things, he provides a definition independent of the concept of number for the infiniteness or finiteness of a set by using the concept of mapping and treating the recursive definition, which is so important to the theory of ordinal numbers. ###>Entre autres choses, il fournit une définition indépendante de la notion de nombre infini de la finitude ou d'un ensemble en utilisant le concept de cartographie et de traitement de la définition récursive, qui est si important de la théorie des nombres ordinaux.