Jak utworzyc poczatki nowej - bezblednej teorie mnogosci

stronie, gdyż jestem tu nowy i dopiero co zacząłem czytać listę (o tym
w

odrębnym poście).

Hmm.... nie ubliżając Penrosowi w "Nowym umyśle..." obok całkiem
sensownych rzeczy jest też mnóstwo bełkotu. Tak sadzę na podstawie tych
fragmentów które przeczytałem.

Powiem Wam, że listy Pana Pinopy nie są tak całkiem od rzeczy, jak
można by

sądzić. Wydaje mi się (przez wgląd %*), że cała sprawa zasadza się na
tym,

czy ma sens pojęcie zbioru pustego. Względnie - czy dychotomia:
założenie,

że istnieje zbiór pusty vs założenie, że nie istnieje zbiór pusty nie
powoduje, że istnieją dwie różne teorie mnogości. Tak na zdrowy rozum:
jeśli A jest zbiorem pustym to znaczy, że A nie istnieje. Ten zdrowy
rozum

nie wydaje mi się nieuzasadniony. Ale ponieważ napisałem, że to przez
"wgląd" to nie podam dowodu ani jakiegoś szerszego uzasadnienia. To
tylko

tak pod rozwagę Państwa.

Tak. Tyle że w aksjomatycznej teorii mnogości (chyba w kazdej, ale na
pewno z aksjomatami ZF) istnienie zbioru pustego jest jednym z
_aksjomatów_.

Zresztą np. teoriomnogościowa definicja liczb naturalnych zaczyna się od
zbioru pustego. 0 = 0, 1 = {0}, 2 = {1} u 1 = { {{0}}, {0} } itd. (o ile
czegoś nie pokręciłem, ale chyba tak). Więc jak to bez zbioru pustego?
Od czego zacząć?

Ja tylko tak sobie rzuciem ten pomysł, z tym zbiorem pustym. Cóż to by
było, gdyby go nie było? %*)
W zasadzie i tak by byl :-)) Jezeli istnieje jakikolwiek zbior to na mocy