Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar
1.2 Das Axiomensystem ZFCLimesstufen1.3 Relationen und Funktionen