Dyskusja:Aksjomaty Zermelo-Fraenkela
Z Wikipedii
Co to jest aksjomat istnienia?
[edytuj] Usunięcie zbędnych informacji
Osobiście postulowałbym pousuwanie haseł pojedynczych aksjomatów i ustawienie na nich przekierowań do tej strony - hasła te są na tyle krótkie, że lepiej wyglądają w skondensowanej formie. Osobno można ustawić tylko niektóre z nich, jak np. aksjomat wyboru, z którym związanych jest kilka ciekawych faktów, jak np. paradoks Banacha-Tarskiego. m_gol 02:10, 3 maja 2007 (CEST)
[edytuj] Aksjomat zbioru pustego
"Istnieje jednak możliwość udowodnienia go [aksjomatu zbioru pustego - przyp. mój] jako twierdzenia wynikającego z aksjomatu podzbiorów." To zdanie nie brzmi najszczęśliwiej. Prawdą jest, że jeśli mamy jakikolwiek zbiór, to musi istnieć też zbiór pusty. Bez tego aksjomatu możemy jednak nie mieć żadnego zbioru. Usuwam. m_gol 02:08, 3 maja 2007 (CEST)