Klassenmenge

Klassenmenge ist ein Begriff aus der Mengenlehre, der sich auf eine Sammlung von Objekten bezieht, die durch eine Eigenschaft oder Formel beschrieben werden kann. In vielen formalen Systemen wird zwischen Mengen und Klassen unterschieden: Eine Menge ist eine Klasse, die sich als Element einer anderen Klasse darstellen lässt; eine Klasse, die sich nicht als solches Element darstellen lässt, wird als große Klasse oder echte Klasse bezeichnet. Gleichwohl wird der Ausdruck Klasse oft als Oberbegriff für solche Sammlungen verwendet, während der spezielle Fall einer Menge dann eine Klasse ist, die tatsächlich Elemente besitzt.

In axiomatischen Settheorien wie der von von Neumann–Bernays–Gödel (NBG) oder Kelley–Morse (KM) gibt es zwei Sorten von Entitäten: Mengen (kleine Klassen) und Klassen (große Klassen). Eine Klasse ist definiert durch eine Eigenschaft, die alle Elemente dieser Klasse beschreibt, normalerweise von Mengen. Eine Klasse ist genau dann eine Menge, wenn sie als Element einer anderen Klasse existieren kann; dann nennt man sie oft eine "kleine Klasse" oder simply eine Menge. Große Klassen können dagegen nicht Elemente irgendeiner Klasse sein.

Beispiele dienen zur Veranschaulichung: Die Klasse der natürlichen Zahlen ist eine Menge. Die Klasse der Ordnale ist eine große Klasse, da sie kein Element einer Klasse sein kann. Die Klasse aller Mengen ist ebenfalls eine große Klasse und kein Objekt in der Theorie.

Zweck und Bedeutung: Klassen ermöglichen die formale Behandlung von sehr großen Sammlungen, deren Größe sich nicht als Menge darstellen lässt, und helfen, paradoxe Konstruktionen zu vermeiden (z. B. Russell-Paradoxon). In ZFC allein existieren Klassen nicht als eigenständige Objekte, während NBG und KM das Konzept formalisieren, indem sie zwischen Mengen und Klassen unterscheiden.