Vi arbejder på at gendanne Unionpedia-appen i Google Play Store
UdgåendeIndgående
🌟Vi har forenklet vores design for bedre navigation!
Instagram Facebook X LinkedIn

Zermelo-Fraenkels aksiomer

Indeks Zermelo-Fraenkels aksiomer

Ernst Zermelo opstillede i 1908 et sæt aksiomer for mængdelæren som Abraham Fraenkel omformulerede i 1922 og udbyggede med udskiftningsaksiomet.

Indholdsfortegnelse

  1. 13 relationer: Aksiom, Ernst Zermelo, Hilberts problemer, Kardinaltal, Klasse (matematik), Kontinuumhypotesen, Kurt Gödel, Mængdelære, Paul Cohen, Potensmængde, Russells paradoks, Udvalgsaksiomet, Velordning.

Aksiom

Et aksiom er en grundantagelse (sætning), der antages at være sand uden bevis.

Se Zermelo-Fraenkels aksiomer og Aksiom

Ernst Zermelo

Ernst Zermelo (født 27. juli 1871, død 21. maj 1953) var en tysk matematiker, der i 1908 formulerede et aksiomsystem for mængdelæren, som er hovedparten af Zermelo-Fraenkels aksiomer.

Se Zermelo-Fraenkels aksiomer og Ernst Zermelo

Hilberts problemer

right Hilberts problemer er en liste bestående af 23 matematiske problemer, der blev fremsat af den tyske matematiker David Hilbert på den internationale matematikkongres i Paris i år 1900.

Se Zermelo-Fraenkels aksiomer og Hilberts problemer

Kardinaltal

Kardinaltal eller tælletal er tal anvendt til at angive, hvor mange elementer der er i en given mængde.

Se Zermelo-Fraenkels aksiomer og Kardinaltal

Klasse (matematik)

Klasse er dels et begreb inden for mængdeteorien, dels i visse tilfælde synonymt med ordet mængde.

Se Zermelo-Fraenkels aksiomer og Klasse (matematik)

Kontinuumhypotesen

I matematikken er kontinuumhypotesen (ofte forkortet CH fra det engelske Continuum hypothesis) en hypotese fremsat af Georg Cantor om mulige størrelser af uendelige mængder.

Se Zermelo-Fraenkels aksiomer og Kontinuumhypotesen

Kurt Gödel

Kurt Friedrich Gödel (født 28. april 1906 i Brno, død 14. januar 1978 i Princeton) var østrigsk logiker og matematiker.

Se Zermelo-Fraenkels aksiomer og Kurt Gödel

Mængdelære

Mængdelære er den matematiske teori om mængder, der repræsenterer mængder af abstrakte objekter.

Se Zermelo-Fraenkels aksiomer og Mængdelære

Paul Cohen

Paul Joseph Cohen (2. april 1934 – 23. marts 2007) var en amerikansk matematiker bedst kendt for sit bevis af uafhængigheden af kontinuumhypotesen og udvalgsaksiomet fra Zermelo-Fraenkels aksiomer, den mest accepterede aksiomisering i mængdelære.

Se Zermelo-Fraenkels aksiomer og Paul Cohen

Potensmængde

Potensmængden (eng. power set) af en given mængde S består af alle delmængder af S og betegnes ofte \mathcal(S), P(S) eller 2S.

Se Zermelo-Fraenkels aksiomer og Potensmængde

Russells paradoks

Russells paradoks er udviklet af filosoffen Bertrand Russell som kritik af Gottlob Freges bog, Grundlagen der Arithmetik.

Se Zermelo-Fraenkels aksiomer og Russells paradoks

Udvalgsaksiomet

Udvalgsaksiomet er et omdiskuteret aksiom i mængdelære formuleret af Ernst Zermelo i 1904.

Se Zermelo-Fraenkels aksiomer og Udvalgsaksiomet

Velordning

Indenfor matematikken betegner en velordning af en mængde M en ordning således at enhver ikke tom delmængde af M har et mindste element under denne ordning.

Se Zermelo-Fraenkels aksiomer og Velordning

Også kendt som ZFC.