Sujet : Re: how
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 08. Jun 2024, 13:42:26
Autres entêtes
Organisation : Nemoweb
Message-ID : <cAb6HQm9T104zE20oIGGcWLO1Hk@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 07/06/2024 à 23:00, Jim Burns a écrit :
if ℕ⁺\Defble is not.empty
then
ℕ⁺\Defble holds first j ∈ ℕ⁺
j ∉ Defble
j-1 ∈ Defble
That is your error.
If j ∈ Defble then j^j^j ∈ Defble. Nevertheless j^j^j^j^j is finite, but there are ℵo undefinable natural numbers. This could only be disproved by defining them. But they will never be defined.
Regards, WM