Sujet : Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 08. May 2024, 20:55:32
Autres entêtes
Organisation : Nemoweb
Message-ID : <sdM6tt0a2wvVmLtfLrvf50vhr-o@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 07/05/2024 à 00:11, Jim Burns a écrit :
All which canNOT be counted.to are not.in ℕ
All which canNOT be counted.to are not.in ℕ_def.
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ, m > n.
∀n ∈ ℕ: ~∃^ℵo n ∈ (ℝ\ℕ).
Regards, WM