Ok, jouons.
Étant donné une population N où tout le monde est cocu, on doit présumer qu’il existe un cocu, C, qui n’est pas membre de N. C peut donc cocu chaque membre de la population N, et on peut considérer la population N entière comme cocu. Mais nous sommes partis du postulat que « tout le monde » est cocu, et le caractère global de cette affirmation impliquerait qu’il ne peut exister aucun cocu externe C qui ne soit lui-même membre de la population N. Ergo, le cocu C lui-même est également cocu par un ou plusieurs membres de N, que nous désignerons N.[C0..Cx].
Maintenant. Cela nous amène à une question de nomenclature. Est-ce que le fait que le cocu N[C0] est-ce qu’un membre d’un groupe, dont tous les membres ont été cocu, invalide le cocu de ce membre ? Je propose que non. Bien que les recherches dans le domaine du cocu logique soient toujours en cours, je crois qu’un cocu C peut lui-même être cocu une ou plusieurs fois (c’est-à-dire par un ensemble défini comme C[N0..Nx]) sans perdre sa propriété d’être cocu.
Dans les pages suivantes je présenterai une preuve formelle qui se termine par l’identité utile N[C] =C[N]ou pour le dire clairement, ce qui est bon pour le cocu est bon pour le cocu. J’attends avec impatience la révision par les pairs



