Arutelu:Valikuaksioom

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)[vasta]

Näiteks Zermelo-Fraenkelo aksiomaatikas on see aksioom, aga ta ei ole olemuslikult hulgateooria aksioom. Andres 9. mai 2010, kell 22:08 (EEST)[vasta]

"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)[vasta]

"Zermelo-Fraenkeli hulgateooria koos valikuaksioomiga" on kohmakas. Teen ettepaneku kasutada lühendeid ZF ja ZFC. --Hardi 10. mai 2010, kell 01:43 (EEST)[vasta]