Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.mathDate : 05. Aug 2024, 20:21:49
Autres entêtes
Organisation : Nemoweb
Message-ID : <YRqt2RTE0zSHQN0l_bDKeY-9QkM@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 05/08/2024 à 02:24, Moebius a écrit :
∃^ℵ₀ u ∈ ⅟ℕ: ∀x > 0: u < x (false) .
∃^NUF(x) u ∈ ⅟ℕ: ∀x > 0: u < x true.
Regards, WM