Sujet : Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 10. May 2024, 13:31:54
Autres entêtes
Organisation : Nemoweb
Message-ID : <07ZxBINoWsRWLD8VcPXWMaIGZ90@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 09/05/2024 à 03:14, Jim Burns a écrit :
Against your preference:
WM thinks ℕ is larger than ℕ_def
Proof:
When removing elements of ℕ_def, then always ℵo elements remain.
When removing ℕ, then no elements remain.
Regards, WM