KnowraVon Neumann–Bernays–Gödel set theoryLinked fromLinked fromThe 5 pages that link to Von Neumann–Bernays–Gödel set theory, each with the reason it gives.All 5Related 3Compared with 2Zermelo–Fraenkel set theoryCompared with: It offers explicit class language while remaining closely related in strength to ZF.Von Neumann universeCompared with: It formalizes the universe as a proper class alongside its sets.