Patrick,
il y a beaucoup de choses que je n'ai pas comprises...je me permets de les citer...
...tu me l'as peut être déjà dit maisUn ensemble est fini si et seulement si toute famille non vide de parties de E admet un élément minimal pour l'inclusion (tu devrais le savoir, je t'ai déjà donné cette définition sur un autre fil initié par toi).
...qu'appelles tu "famille", "inclusion"
"IN" ?Est que le 0 de IN en tant qu'ordinal, et qui n'est donc que le plut petit élément de cet ordinal,
donc nous ne restons pas au "zéro machin", nous allons à "tout ce qui reste"...infini sans "machin"un zéro machin équivaut très précisément à un tout ce qui reste et n’est pas ce machin.
-----