Sujet : Re: because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.mathDate : 09. May 2024, 01:35:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v1h5pf$8kct$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
Am 08.05.2024 um 23:55 schrieb Jim Burns:
ℕ_def is what everyone else calls ℕ
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ, m > n. [WM]
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ_def, m > n.
In this case, I'd prefer
∀ n ∈ ℕ: ∃^ℵo m ∈ ℕ: m > n.