Definition:Von Neumann-Bernays-Godel Set Theory