Zermelo–Fraenkels mängdteori
Zermelo–Fraenkels mängdteori [tsɛrme:lofrɛʹŋkəls] , den vanligaste axiomatiska formuleringen av mängdteori, byggd på ett axiomsystem som uppställdes av Ernst Zermelo 1908 med tillägg av ett axiom som formulerades av Abraham Fraenkel 1922 och (oberoende) av Thoralf Skolem 1923.
Systemet undviker de mängdteoretiska paradoxerna genom att inskränka abstraktionsprincipen – dvs. principen att man alltid kan bilda mängden av objekt som har en given, bestämd egenskap E – så att den endast tillåter att man bildar mängden av objekt som har en given egenskap E och tillhör en
Information om artikeln
Källangivelse