Von Neumann-Bernays-Gödel set theory