LA LOGIQUE DE L'INFINI

certains nombres entiers « ^ y--* j® ^^s ai répartis entre ces deux classes A et B. Je définis et j'introduis de nouveaux nombres entiers. J'ai dit que la répartition n'était pas modifiée et que par conséquent la classification était prédicative. Mais pour que la place du nombre a dans la classification ne soit pas modifiée, il ne suffit pas que les cadres de la classification n'aient pas changé, il faut encore que le nombre a soit resté le même, c'est-à-dire que sa définition soit prédicative. De sorte qu'à un certain point de vue, on ne devrait pas dire qu'une classification est prédicative d'une façon absolue, mais qu'elle est prédicative par rapport à un mode de définition.