Arutelu:Valikuaksioom
Viimase kommentaari postitas Hardi27 13 aasta eest.
Rangelt võttes tuleks ekvivalentsusest rääkides öelda, millised teised väited on eeldatud, teiste sõnadega, milline aksiomaatika on eeldatud. Andres 9. mai 2010, kell 22:06 (EEST)
Näiteks Zermelo-Fraenkelo aksiomaatikas on see aksioom, aga ta ei ole olemuslikult hulgateooria aksioom. Andres 9. mai 2010, kell 22:08 (EEST)
"Zermelo-Fraenkeli hulgateooria" on kahemõtteline. Selle all võidakse mõista ZF-i või ZFC-d (tavaliselt mõeldakse viimast). Kui mõlemad on samas artiklis, siis selline link ei ütle, kumba silmas peetakse. Sellepärast teen ettepaneki teha eraldi artiklid. Andres 10. mai 2010, kell 00:44 (EEST)
- "Zermelo-Fraenkeli hulgateooria koos valikuaksioomiga" on kohmakas. Teen ettepaneku kasutada lühendeid ZF ja ZFC. --Hardi 10. mai 2010, kell 01:43 (EEST)