Liste des Groupes | Revenir à s math |
On 30.01.2025 15:30, Richard Damon wrote:But since the "Set of Necessary FISONs" isn't actually a "Set" in anything but Naive set theory, you, like normal, have your logic backwards.On 1/30/25 4:05 AM, WM wrote:But a set that has union ℕ is a set.On 29.01.2025 15:00, FromTheRafters wrote:Right, but the "Set of Neccessary FISONs" isn't actually a set,WM was thinking very hard :>>It is Cantor's theorem that every set of ordinals has a first element. FISONs are v. Neumann ordinals.>
Yes, but some infinite sets don't have a first element.
Every finite or infinite set of ordinals or FISONs has a first element! Other sets are irrelevant in the present context.
>
Arguing about a non-existand set, and using its properties to prove something is just illogical.A set that doesn't exist doesn't need to have a first element.A not existing set is not an infinite set. You said that some infinite sets don't have a first element.
Regards, WM
Les messages affichés proviennent d'usenet.