Zermelo–Fraenkelova teorija skupova

Izvor: Hrvatska internetska enciklopedija
Inačica 379512 od 10. prosinca 2021. u 02:46 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

Zermelo–Fraenkelova teorija skupova (ZF), pojam iz teorije skupova. To je jedna teorija prvog reda. Formule iz teorije ZF gradimo pomoću varijabla, logičkih veznika i kvantifikatora, te dva dvomjesna relacijska simbola, [math]\displaystyle{ \in }[/math] i [math]\displaystyle{ = }[/math] . Aksiomi 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. [1]:100 Teorija se zove po Ernstu Zermelu koji je prvi dao prijedlog aksiomatizacije teorije skupova i Abrahamu Fraenkelu koji je precizirao shemu aksioma separacije. Fraenkel i Thoralf Skolem su predložili shemu aksioma zamjene kao još jedan aksiom.[1]:99 Ostalim aksiomima iz ZF pridonijeli su John von Neumann (eksplicirao aksiom dobre utemeljenosti i definirao redne brojeve).[1]: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.[1]:101

Izvori

  1. 1,0 1,1 1,2 1,3 Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Teorija skupova; Zagreb: Sveučilište u Zagrebu, siječanj 2015.