Liste des Groupes | Revenir à s math |
On 31.01.2025 02:02, Richard Damon wrote:It is a sufficient set. The necessary set is empty.On 1/30/25 2:28 PM, WM wrote:take the set O of v. Neumann ordinals A(n) that you claim satisfiesBut a set that has union ℕ is a set.But since the "Set of Necessary FISONs" isn't actually a "Set"
U(A(n)) = ℕ.
From this set O every finite subset can be subtracted without changingKey word „finite”.
the result.
Therefore, by induction, no finite A(n) remains.Please formalise.
Therefore the set O has no first ordinal.The original set O of all ordinals has a first (it is also a superset of
Les messages affichés proviennent d'usenet.