Axiomatische verzamelingenleer: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Haakje te weinig met AWB |
|||
Regel 4:
De eerste axiomatiseringen van de verzamelingenleer werden al voor de ontdekking van antinomieën in de verzamelingenleer opgesteld, namelijk in 1889 door [[Giuseppe Peano]] en in 1893 door [[Gottlob Frege]]. Beiden bouwden aan een [[rekenen|rekenkunde]] die was gefundeerd op "rekenen" met verzamelingen of klassen. Aangezien beide systemen inconsistent bleken te zijn, dit vanwege axioma's die onbegrensde vorming van verzamelingen voorschreven, worden deze twee systemen tot de naïeve verzamelingenleer gerekend. Onder de axiomatische verzamelingenleer verstaat men namelijk alleen axiomatiseringen die tegenspraken weten te voorkomen.
Om tegenspraken te voorkomen stelde [[Bertrand Russell]] een ''gelaagde'' opbouw van de verzamelingenleer voor. Tussen 1903-1908 ontwikkelde hij zijn [[typentheorie]], die in 1910 ook als basis van de ''[[Principia Mathematica]]'' diende. In dit werk is een [[verzameling (wiskunde)|verzameling]] steeds van een hoger type dan haar [[element (wiskunde)|element]]en. Uitspraken als "deze verzameling bevat zichzelf als element", waarop de [[Russellparadox]] was gebaseerd, laten zich in deze typentheorie niet eens formuleren. De typentheorie probeert door middel van een beperkte syntaxis van toelaatbare uitspraken over klassen de gerezen problemen op te lossen. Bij Russell zelf heeft de typentheorie nog geen axiomatische vorm aangenomen, maar later werd de typentheorie tot een relatief gecompliceerde axiomatische theorie uitgebouwd. Dat deze axiomatische theorie vrij van tegenspraken was, werd door [[Paul Lorenzen]] aangetoond. De vrijheid van tegenspraken van de op de
In de wiskundige praktijk van de twintigste eeuw trok de door [[Ernst Zermelo]] geïnitieerde vorm van de axiomatische verzamelingenleer uiteindelijk aan het langste eind. De [[Zermelo-verzamelingenleer]] van 1907 is zowel het fundament voor de [[Zermelo-Fraenkel-verzamelingenleer]] (ZFC) als ook voor alternatieve axiomasystemen. ZFC ontstond door het "vervangingsaxioma" van [[Adolf Abraham Halevi Fraenkel|Abraham Fraenkel]] uit 1921 en Zermelos "grondvestigingsaxioma" van 1930 te combineren. De oorspronkelijke, in verbale vorm gegoten verzamelingsaxioma's van Zermelo-Fraenkel werden onder invloed van het [[programma van Hilbert]], dat een fundamentele, tegenspraakvrij axiomasysteem voor de wiskunde voorstond, later strikt geformaliseerd. De eerste formalisering (ZFC zonder het "grondvestigingsaxioma") door [[Thoralf Skolem]] stamt uit het jaar 1929<ref>{{de}} {{aut|[[Thoralf Skolem]]}}, Über einige Grundlagenfragen der Mathematik (1929) (Over enkele fundamentele vragen in de wiskunde (1929), Selected works in logic (geselecteerde werken in de logica)), Oslo, 1970, pagina's 227-273</ref> en gaf de impuls voor de moderne [[Zermelo-Fraenkel-verzamelingenleer|predicatenlogische ZFC-axiomasystemen]]. In ZFC konden tot nu toe geen tegenspraken meer worden afgeleid. Aantoonbaar tegenspraakvrij is echter slechts de algemene verzamelingenleer, dat wil zeggen naar Fraenkel de ZFC-verzamelingenleer met uitsluiting van het [[oneindigheidsaxioma]],<ref>{{de}} {{aut|[[Adolf Abraham Halevi Fraenkel|Abraham Fraenkel]]}}, Axiomatische Theorie der geordneten Mengen (Axiomatische theorie van geordende verzamelingen), [[Journal of Pure and Applied Mathematics]], band 155, 1926, pag 129-158, met name blz. 132f</ref> dus de verzamelingenleer met [[eindige verzameling]]en, in 1930 een voorbeeld voor Zermelo<ref>{{de}} {{aut|[[Ernst Zermelo]]}}, Grenzzahlen und Mengenbereiche (Grensgetallen en verzamelingbereiken), [[Fundamenta Mathematicae]], Band 16, 1930, pagina's 29-47, met name blz. 44</ref>. Het programma van Hilbert leende zich echter niet om uitgevoerd te worden voor de volledige Zermelo-Fraenkel verzamelingenleer, aangezien de [[onvolledigheidsstellingen van Gödel]] ook op Zermelo-Fraenkel-verzamelingenleer van toepassing zijn, zodat tegenspraakvrijheid binnen het kader van de Zermelo-Fraenkel-verzamelingenleer onbewijsbaar blijft.
| |||