>> Po prostu praktycznie. Sprawdzałęm, oczywiście, że w stopniu mi
>> dostępnym.
>
> Zastanów sie przez chwilę. Praktycznie - to znaczy: ja tak sądzę,
> moi kumple tak sądzą, znaczy - ogół.

No przecież wiem, że nie uzgadniałem tego idywidualnie z każdym
mieszkańcem Ziemi... Wyraźnie przecież napisałem, że w stopniu
mi dostępnym, dlatego piszę w cudzysłowiu o "reszcie świata".

> Co prawda, niektórzy moi kumple sądzą inaczej; opinia durniów
> jednak się nie liczy... Bardzo, bardzo łatwo jest powoływać się na ogół.

Ja nikogo nie nazwałem durniem z tego powodu, że używa innego
słownictwa...

>> Jeśli ktoś ma inne w tym względzie doświadczenia,
>> nie stanowi to problemu - wystarczy uzgodnić "słownik" z "mojego" na
>> "inne" i w drugą stronę.
>
> Owszem, jest problem. Przy normalnej komunikacji nie ma czasu nawet
> na zajrzenie do gotowego słownika, a co dopiero na jego uzgadnianie.
> Zresztą, przecież to akurat z Robakiem ustaliliście - wiesz, że to,
> co Ty nazywasz zbiorem liczb naturalnych, on nazywa zbiorem liczb
> porządkowych. I co, zamyka to sprawę?

Jeśli chodzi o matematykę to zamyka sprawę. Zasadniczo cały wywód
Robakksa sprawadza się do "dowodu", że w zbiorze liczb od 1 do re1,
w którym re1 jest ostatnią liczbą, istnieje ostatnia liczba re1.
Czyli do tego, że zbiór skończony jest skończony.

> Nie. Pytasz Robaka, dlaczego nie stosuje pojęć, jak ogół. Tymczasem
> on, według siebie, stosuje je właśnie tak, jak ogół, w przeciwieństwie
> do Ciebie. Według niego ogół nazywa to, co on, a w tej materii, że
> wszystkie liczby co do jednej mają następnik - jest oszukiwany, bo
> jest jeden wyjątek.
> Ponieważ obaj tylko zgadujecie, jak ogół buduje pojęcia, a sprawdzić
> się tego nie da, nie ustąpicie.

Nie chodzi o to, kto komu ustąpi, tylko o akceptację prostych faktów:
Robakks: brak punkt <-> Alefici: punkt
Robakks: punkt <-> Alefici: odcinek
Robakks: zbiór liczb naturalnych <-> Alefici: zbiór skończony
Robakks: liczby porządkowe <-> Alefici: liczby naturalne
itp, itd...

Wtedy zamiast "udowadniać" Alefitom, że "zbiór liczb naturalnych"
ma ostatni element wystarczyło by napisać: słuchajcie, dla mnie
zbiór liczb naturalnych to liczby od 1 do re1. A w zbiorze, gdzie jest
ostatni element, ostatni element jest. Zbiór skończony, skończonym jest.
itp, itd...

syzyf