Liste des Groupes | Revenir à s math |
Le 08/06/2024 à 20:16, Jim Burns a écrit :0 is the smallest natural number with no undefinable successors (after all, all of its ℵo "successors" are "definable", since all natural numbers are "definable").On 6/8/2024 8:42 AM, WM wrote:Then define natural numbers with [...] no undefinable successors.If j ∈ Defble then j^j^j ∈ Defble.>
Nevertheless j^j^j^j^j is finite, but there are ℵo undefinable natural numbers.
No.
Les messages affichés proviennent d'usenet.