Vita:A regularitás axiómája
- Itt kell megjegyeznünk, hogy ennek az axiómának a következménye az a természetes várakozásunknak megfelelő tény, hogy egy halmaz nem lehet saját magának eleme.
- A "természetes várakozást" és egyéb filozófiailag, didaktikailag pov kifejezéseket szerintem hagyjuk, számomra pl. ez a "várakozás" természetellenes, évekig tartott, míg el tudtam fogadni, hogy egy halmaz ne lehessen saját maga eleme. Gubb ✍ 2005. október 23., 10:17 (CEST)
Ok :) Töröltem a vitatott tagmondatot. Mozo 2005. október 23., 10:37 (CEST)
Thoralf Skolem nevének indoklásául Mozo 2006. június 6., 21:22 (CEST)
Skolem[szerkesztés]
Hát Skolem az idézett cikkében nem vezeti be a fundáltságot, mint axiómát, bár a cikk tele van olyan részekkel, hogy ezt, azt, amazt hozzá kell venni Zermelo rendszeréhez, mint axiómát. Pusztán megjegyzi (megelőlegezve Neumann későbbi bizonyítását) hogy nem valószínű, hogy Zermelo rendszere kategorikus lenne, mert a (mai szóval) rangos halmazok modellt alkotnak (azok tehát, amelyekből nem lehet végtelen lefelé menő ε-láncot épiteni). Ezt különben csak részben bizonyitja. A rangos halmazokra, igy voltakeppen a fundáltságra elsőnek a figyelmet Mirimanoff hivta fel, 1917-ben.Kope 2006. június 7., 19:04 (CEST)
Átírtam a bevezetőt, esetleg Mirimanoff nevét és amiről előtte írtál érdemes lenne beleírni, egyrészt érthető módon az elejére, másrészt "szakmaisabban" belülre. Mozo 2006. június 7., 19:59 (CEST)
