Ernst Zermelo, tysk matematiker og logiker, særlig kjent for sine undersøkelser over mengdelærens grunnlag. Ved å anvende utvalgsaksiomet viste han at enhver mengde kan velordnes.

Zermelos aksiomsystem ble stilt opp i 1908 og senere i 1922 komplettert av den tysk-israelske logikeren Adolf Abraham Fraenkel (1891–1965) og den norske matematikeren T. A. Skolem (derfor også kalt Zermelo-Fraenkel-Skolems aksiomsystem). Dette systemet består av begrepet mengde, relasjonen tilhører og sju mengdeteoretiske aksiomer, og sammen med utvalgsaksiomet danner det det mengdeteoretiske grunnlaget for moderne matematikk.

 

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.