Zermelo–Fraenkelova teorija skupova: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Broj spašenih izvora: 1; broj poveznica koje su označene kao mrtve: 0) #IABot (v2.0.8
Redak 1:
'''Zermelo–Fraenkelova teorija skupova''' (ZF), pojam iz [[teorija skupova|teorije skupova]]. To je jedna [[teorija prvog reda]]. Formule iz [[teorija|teorije]] ZF gradimo pomoću [[varijabla]], [[logički veznik|logičkih veznika]] i [[kvantifikator]]a, te dva dvomjesna relacijska simbola, <math> \in </math> i <math> = </math> . [[Aksiom]]i kojima se teorija služi su [[aksiom rasprostranjenosti]], [[aksiom praznog skupa]], [[aksiom para]], [[aksiom unije]], [[aksiom partitivnog skupa]], [[aksiom izbora]], [[aksiom dobre utemeljenosti]] i [[aksiom beskonačnosti]]. <ref name=Vuković>[https://www.math.pmf.unizg.hr/sites/default/files/pictures/ts-skripta-2015.pdf Prirodoslovno matematički fakultet u Zagrebu] {{Webarchive|url=https://web.archive.org/web/20190724174822/https://www.math.pmf.unizg.hr/sites/default/files/pictures/ts-skripta-2015.pdf |date=24. srpnja 2019. }} Mladen Vuković: Teorija skupova; Zagreb: Sveučilište u Zagrebu, siječanj 2015.</ref>{{is|100}} Teorija se zove po [[Ernst Zermelo |Ernstu Zermelu]] koji je prvi dao prijedlog aksiomatizacije teorije skupova i [[Abraham Fraenkel|Abrahamu Fraenkelu]] koji je precizirao shemu aksioma separacije. Fraenkel i [[Thoralf Skolem]] su predložili shemu [[aksiom zamjene|aksioma zamjene]] kao još jedan aksiom.<ref name=Vuković/>{{is|99}} Ostalim aksiomima iz ZF pridonijeli su [[John von Neumann]] (eksplicirao aksiom dobre utemeljenosti i definirao redne brojeve).<ref name=Vuković/>{{is|100}} Sustav aksioma u ovoj teoriji nije neovisan. Ne promatra se minimalan skup aksioma zato što se ovako može razmatrati više zanimljivih podteorija ZF.<ref name=Vuković/>{{is|101}}
 
== Izvori ==