Sökresultat

* [[Kontinuumhypotesen]] är oavgörbar i den vanliga [[mängdteori]]n [[ZFC]]. == Oavgörbarhet i ZFC == ...

...xistens ej följer ur [[Zermelo–Fraenkels mängdteori]] (ZFC), förutsatt att ZFC är [[konsistent]]). ...

Den vanligast använda teorin är [[ZFC]] som är en kombination byggd på teorier skapade av [[Ernst Zermelo]], [[Ad == Kort om ZFC == ...

...de [[mängdteoretiska axiom]]en. Det är till exempel ett av [[axiom]]en i [[ZFC]], d.v.s. Zermelo-Fraenkels mängdteori med [[urvalsaxiomet]] som är det dom [[de:Zermelo-Fraenkel-Mengenlehre#Die Axiome von ZF und ZFC]] ...

...te heller antagandet att kontinuumhypotesen är falsk strider mot axiomen i ZFC. Det är alltså likgiltigt för mängdläran huruvida ett sådant kardinaltal ex ...ebär, enligt dem som förespråkar matematisk [[realism]], att axiomsystemet ZFC inte beskriver den matematiska verkligheten tillräckligt precist för att ko ...

...de [[mängdteoretiska axiom]]en. Det är till exempel ett av [[axiom]]en i [[ZFC]], d.v.s. Zermelo-Fraenkels mängdteori med [[urvalsaxiomet]] som är det dom ...

...rdam |isbn= |sid= 382}}</ref> I "normala" mängdteorier, som till exempel [[ZFC]], bortser man från urelement. Det blir bara krångligt att ta hänsyn till d ...

...r alltså inte av [[axiom]]en i ZF, så därför bildade man en ny mängdteori, ZFC (Zermelo-Fraenkels mängdteori med urval). *[[ZFC]] ...

...i, det skulle göra teorin motsägelsefull. I en axiomatisk mängdteori som [[ZFC]] byter man istället ut abstraktionsprincipen mot det något mer begränsande ...

...de [[mängdteoretiska axiom]]en. Det är till exempel ett av [[axiom]]en i [[ZFC]], d.v.s. Zermelo-Fraenkels mängdteori med [[urvalsaxiomet]] som är det dom ...

...a. Den vanligaste mängdteorin är antagligen [[Zermelo-Fraenkels mängdteori|ZFC]] (se [[mängdteorier]]). Mängdteorin är även betydelsefull inom [[matematik ...fram till [[Zermelo-Fraenkels mängdteori]] (benämnd ZF) och senare till [[ZFC]] (Zermelo-Fraenkels mängdteori med [[urvalsaxiomet]]). En annan mängdteori ...

...itet som följer närmast efter ℵ₀ i storleksordning. I vanlig mängdteori, [[ZFC]], kan man dock inte bevisa att kontinuumhypotesen är vare sig sann eller f ...

...[[axiom]]. I Zermelo–Fraenkels mängdteori ([[Zermelo–Fraenkels mängdteori|ZFC]]) ersätts abstraktionsprincipen med [[delmängdsaxiomet]]. Detta axiom är n ...