Von Neumann-Bernays-Godel set theory