==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, mit der jede abgebildete Menge und insbesondere jede Abzählung durch die Menge der natür...