Liste des Groupes | Revenir à s math |
On 6/22/2024 5:11 AM, WM wrote:
Every existing set of ordinals has a first or smallest element. The set of FISONs necessary to yield ℕ would be a set of ordinals. It is well defined since for every FISON we can determine whether it is necessary. It has no smallest element. ==> It is empty.∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.An infinite set of FISON's? Sorry for my notation here, but it should get the point across:
That statement covers all FISONs.
[ { 1 }, { 1, 2 }, { 1, 2, 3 }, { 1, 2, 3, 4}, ... ]
?
Les messages affichés proviennent d'usenet.