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 eller kommentarer til artikkelen?

Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.

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