Von Neumann-Bernays-Gödel-verzamelingenleer: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
-dt |
|||
Regel 1:
De '''Von Neumann-Bernays-Gödel-verzamelingenleer''' (NBG) is een [[axiomatische verzamelingenleer|axioma]]tisering van de [[verzamelingenleer]]. Zij bouwt voort op de [[axioma]]'s van de eerste orde [[predicatenlogica]] en een aantal extra axioma's uit de [[verzamelingenleer]]. NBG is vernoemd naar de [[wiskundige]]n, [[John von Neumann]], [[Paul Bernays]] en [[Kurt Gödel]], omdat deze verzamelingenleer zich op werken van deze wiskundigen uit respectievelijk de jaren 1925/1927, 1937 en 1940
:: <math>\mathit{Vrz}(X) :\leftrightarrow \exists Y: X \in Y </math>
Klassen hebben alleen verzamelingen als elementen. Men kan klassen zien als samenvoegingen van objecten, die aan een bepaalde eigenschap voldoen. Klassen die geen verzamelingen zijn, worden als echte klassen aangeduid.
|