Bonjour,

il est écrit sur Wikipedia que ces deux propositions sont équivalentes modulo ZF. Qu'est-ce qui est entendu par là ?

Je ne vois pas le rapport avec la congruence des entiers.

Merci !