Redirecting to Von Neumann–Bernays–Gödel set theory