Ersetzungsaxiom

Das Ersetzungsaxiom ist ein Axiom, das Abraham Fraenkel 1921 als Ergänzung zur Zermelo-Mengenlehre von 1907 vorschlug und später ein fester Bestandteil der Zermelo-Fraenkel-Mengenlehre ZF wurde.^[1] Es besagt informell, dass die Bilder von Mengen ebenfalls Mengen sind. In der prädikatenlogischen Sprache wird das Ersetzungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst. Daher wird es heute auch oft als Ersetzungsschema bezeichnet.

Präzisierung

Ersetzungsaxiom für jedes zweistellige Prädikat E(x,y):

$\forall x,y,z\colon (E(x,y) \and E(x,z) \Rightarrow y=z) \Rightarrow \forall A\colon \exist M\colon \forall y\colon (y\in M \iff \exist x\colon (x\in A \and E(x, y)))$

Die im Ersetzungsaxiom gebildete Menge ist aufgrund des Extensionalitätsaxioms eindeutig bestimmt und wird als $\{y|\exist x\in A: E(x,y)\}$ notiert, dabei hat das Prädikat E(x,y) die im Axiom geforderten Eigenschaften, die einer Funktion ähnlich sind.

Bedeutung

Das Ersetzungsaxiom füllt eine Lücke der Zermelo-Mengenlehre. Fraenkel entdeckte nämlich 1921, dass man mit Zermelos Axiomen gewisse abzählbare Mengen der Mengenlehre von Georg Cantor nicht konstruieren kann, und ergänzte daher sein Axiom^[1], mit der jede abgebildete Menge und insbesondere jede Abzählung durch die Menge der natürlichen Zahlen eine Menge wird. Dieselbe Lücke benannte ein Jahr später auch Thoralf Skolem und gab eine präzisere Formalisierung dazu an.^[2] Dieses Axiom integrierte Zermelo 1930 in sein ZF-System und bemerkte dazu, dass aus dem Ersetzungsaxiom das Aussonderungsaxiom und das Paarmengenaxiom ableitbar sind, so dass diese älteren Axiome der Zermelo-Mengenlehre im ZF-System entbehrlich werden.

Einzelnachweise

1. ↑ ^{a b} Abraham Fraenkel: Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, 1921, in: Mathematische Annalen 86 (1922) S. 231
2. ↑ Skolem: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, 1922, in: Proceedings of the 5th Scand. Math. Congress Helsinki 1922, 217-232, 4:o.

Axiome und Axiomenschemata der Zermelo-Fraenkel-Mengenlehre

Axiome: Extensionalitätsaxiom | Fundierungsaxiom | Leermengenaxiom | Paarmengenaxiom | Vereinigungsaxiom | Potenzmengenaxiom | Unendlichkeitsaxiom | Auswahlaxiom

Axiomenschemata: Aussonderungsaxiom | Ersetzungsaxiom