Home›Foundations of mathematics›Von Neumann–Bernays–Gödel set theory🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsРусский한국어中文日本語EntityQ278770· pop 15· linked from 386 articlesVon Neumann–Bernays–Gödel set theoryaxiomatic set theoryWikidata factsShow 1 more facttime of discovery or invention1940-00-00Sources (1)wikidata.orgvia Wikidata · CC0Available in 15 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoConnectionsfirst-order logicEntityfree and bound variablesEntityCategoriesFoundations of mathematicsJohn von NeumannSystems of set theoryWorks by Kurt Gödel