5.252 C'est seulement ainsi que la progression d'un terme à un autre dans une série de formes (de type à type dans les hiérarchies de Russell et Whitehead) est possible. (Russell et Whitehead n'ont pas accordé la possibilité de cette progression mais en ont toujours fait usage.)