> [...] Odpowiedź:
> Dlatego nie nazywam zbioru liczb porządkowych LP, w którym każda
> liczba ma następnik, nazwą zbiór liczb naturalnych N (tak samo jak
> "reszta świata") bowiem te dwa zbiory mają różne własności.

"Reszta świata" również nadaje różne nazwy różnym zbiorom. Nie powinno więc
już być więcej przeszkód, byś Robakksie używał nazw zgodnych z tymi
używanymi
przez "resztę świata" ?

> W zbiorze liczb naturalnych N osiągana jest granica (ostatni element),

"Reszta świata" taki zbiór nazywa zbiorem skończonym.

> natomiast zbiór liczb porządkowych LP nie ma granicy.

a zbiór, w którym każda liczba ma następnik "reszta świata" nazywa
zbiorem liczb naturalnych.

Jak widzisz te dwa różne zbiory noszą różne nazwy. Czy coś jeszcze
stoi na przeszkodzie, byś Robakksie używał nazw zgodnych z tymi
używanymi przez "resztę świata" ?

syzyf

> . . .
> Dowodem na rekurencyjne osiąganie granicy przez funkcję połówkową
> następnik = poprzwednik*1/2
> jest przetoczenie się okręgu do ostatniego punktu odcinka.
> To położenie nie ma następnika, bo punkt się nie dzieli.
> . . .
> Jeszcze jakieś pytania?
> Może chcesz bym Ci to zapisałł formalmie?
> dk = 1/2^n [dk = długość kroku]
> Jest taka liczba n ze zbioru N dla której dk = punkt
> Ta liczba całkowita, natiralna jest największą liczbą w zbiorze N
> i ma nazwę oo = Alef0 = N = Re1 = 1'0
> zobacz:
> 1/2^Alef0 = 1/continuum
> Odcinek ma continuum punktów a słowo "1/continuum"
> w przetłumaczeniu na metajęzyk potoczny oznacza
> JEDEN z CONTINUUM
> bo punkt jest jeden w zbiorze o liczności continuum.
> Edward Robak* z Nowej Huty
> ~>°<~
> miłośnik mądrości i nie tylko :)
>
> PS. Ten post nie jest kopiowany na niematematyczne forum
> o zwodniczej nazwie matematyka.pl
> Tam posty o matematyce są wyrzucane do kosza, przez bezmyślnych
> cenzorów... i to jest zastanawiające.
>