Re: Question regarding Dedekind-infinite sets and consistency.



On Dec 21, 3:29 pm, LauLuna <laureanol...@xxxxxxxx> wrote:
No, the existence of an injection from y to a proper class of x does
not prove x is not Dedekind-infinite.

Agreed, but g is also not surjective, so y has fewer elements than x.

.