On Von Neumann's Axiom System for Set Theory