Der Satz 'Die Zermelo-Fraenkel-Mengenlehre ist eine Erweiterung der Zermelo-Mengenlehre von 1907, die auf Axiomen und Anregungen von Fraenkel von 1921 beruht.' lässt in seiner Kohärenz zu wünschen übrig.