Liste des Groupes | Revenir à s math |
On 11/28/2024 5:39 AM, WM wrote:Ah, it appears the slide there, a bit, the back-slide.On 28.11.2024 09:34, Jim Burns wrote:>>Consider the sequence of claims.>
⎛⎛ [∀∃] for each end.segment
⎜⎜ there is an infinite set such that
⎜⎝ the infinite set subsets the end.segment
and its predecessors!
For each end.segment of finite.cardinals,
that end.segment and its predecessors
are not
each end.segment.
>
In particular,
for each end.segment of finite.cardinals,
there is a successor.end.segment which is
not one of
that end.segment and its predecessors.
>If each endsegment is infinite,>
then this is valid
for each endsegment with no exception
Yes,
if each end.segment is infinite
then each end.segment is infinite.
>because all are>
predecessors of an infinite endsegment.
Each end.segment of finite.cardinals
is staeckel.infinite
because
each finite.cardinal is countable.past
each finite.cardinal is not its second end
each end.segment has a non.empty subset (itself)
which is not.two.ended.
>That means it is valid for all endsegments.>
>
The trick here is that
the infinite set has no specified natural number (because all fall out
at some endsegment)
all fall out == empty
>but it is infinite>
infinite and empty
>without any other specification.>
A finite.cardinal is specified to be a cardinal and finite.
>
There is no other specification for a finite cardinal.
>
>
Les messages affichés proviennent d'usenet.