Klasse (verzamelingenleer): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
MelancholieBot (overleg | bijdragen)
k Bot: Etalage-artikel link voor lmo:Classa (matemàtica)
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
Regel 1:
In de [[verzamelingenleer]] en de toepassingen daarvan in de [[wiskunde]] is een '''klasse''' een collectie van verzamelingen (van soms andere [[wiskundig object|wiskundige objecten]]) die niet ambigu kunnen worden gedefinieerd door een eigenschap die alle leden van de [[verzameling (wiskunde)|verzameling]] delen. De precieze definitie van "klasse" hangt af van de context. In werk over de [[Zermelo–Fraenkel verzamelingenleer]], is de notie van een klasse informeel, terwijl in ander verzamelingenleer theorieën, zoals de [[Von Neumann–Bernays–Gödel verzamelingenleer]] de notie van ene "klasse" door [[axioma]]'s wordt onderbouwd.
 
Elke verzameling is een klasse, maakt niet uit van welke context men uitgaat. Een klasse die geen verzameling is wordt (informeel) een '''echte klasse'''(Engels: '''proper class''') genoemd. Alle [[Ordinaal getal|ordinale getal]]len en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klasses.