Zermelo-Fraenkel Mengenlehre ohne Auswahlaxiom (ZF)
1.
Axiome
Extensionalitätsaxiom
Leermengenaxiom
Paarmengenaxiom
Vereinigungsaxiom
Unendlichkeitsaxiom
Potenzmengenaxiom
Fundierungsaxiom
Aussonderungsaxiom
Ersetzungsaxiom
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:29