Teorija množic: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m robot Dodajanje: an, bat-smg, el, et, ur, vi, war Spreminjanje: az, uk |
m dp/pnp |
||
Vrstica 18:
* ena sama vrsta objektov in
* relacije med njimi.
Najbolj znan sistem te vrste je [[Zermelo-Fraenklova teorija množic]], ki jo je leta [[1908]] utemeljil [[Ernst Zermelo]], dokončno obliko pa je dobila leta [[1922]] po delih [[Adolf Abraham Halevi Fraenkel|Adolfa Fraenkla]]. Njun sistem pogosto označimo s kratico »''ZF''«. Zermelo je teoriji dodal tudi - ne splošno sprejeti - [[aksiom izbire]]. V tej obliki je znana kot »''teorija množic [[ZFC]]''« (črka ''C'' pride iz angleškega izraza za ''izbiro'': ''choice''). Prevladujoča večina matematikov dandanes sprejema ''ZFC'' kot primerno podlago za sodobno matematiko.
Edina osnovna relacija v ''ZF'' ali ''ZFC'' je <math>\in</math> (izgovori ''je element množice''), npr. ''x''<math>\in</math>''M'', ko je ''x'' element v množici ''M''. Obstoja »''praelementov''«, ki ne bi bili množice, v tej teoriji ne predpostavljamo.
| |||