Zermelo-verzamelingenleer
De Zermelo-verzamelingenleer is de eerste axiomatische verzamelingenleer; zij stamt van Ernst Zermelo en is door hem op 30 juli 1907 gedateerd. Het werd op 13 februari 1908 in Band 65 (2e editie) van de "Mathematische Annalen" gepubliceerd met de titel "Untersuchungen über die Grundlagen der Mengenlehre". De Zermelo-verzamelingenleer vormt de grondslag voor de Zermelo-Fraenkel-verzamelingenleer, die nu als een van de fundamenten van de moderne wiskunde geldt..

Om de verzamelingenleer van een solide formele grondslag te voorzien had Bertrand Russell in 1903 zijn typentheorie gepubliceerd. Deze typetheorie was vanwege haar syntactisch gecompliceerde vorm echter weinig toegankelijk. Zermelo koos daarom de elegantere weg van een axiomatische uitbouw van de verzamelingenleer. Zijn zeven verzamelingenleeraxioma's, die allereerst de existentie van verzamelingen moesten verzekeren, bewezen zich als levensvatbaar en vormden in uitgebreidere vorm de basis van de axioma's van de Zermelo-Fraenkel-verzamelingenleer, de volledige afleiding van Cantors verzamelingenleer. Zermelo formuleerde zijn axioma's in verbale vorm; vandaag de dag worden de axioma's meestal in de vorm van de predikatenlogica gegoten. 
Q904423
axiomatische verzamelingenleer
Concept
Q57248
Ernst Zermelo
PER
Q703577
Mathematische Annalen
MEDIA
Q191849
Zermelo-Fraenkel-verzamelingenleer
MEDIA
Q33760
Bertrand Russell
PER
Q1056428
typentheorie
Concept
Q191849
Zermelo-Fraenkel-verzamelingenleer
MEDIA
Q12482
Cantors verzamelingenleer
Concept
Q35148
predikatenlogica
Concept
Q191853
Zermelo-verzamelingenleer
Concept
Q191853
Zermelo-verzamelingenleer
Concept
1907-07-30T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
30 juli 1907
DATE
1908-02-13T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
13 februari 1908
DATE
1903-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1903
DATE
+65^^http://www.w3.org/2001/XMLSchema#decimal
65
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
instance of
notable work