冯诺伊曼-博内斯-哥德尔集合论
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Model_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Metatheory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Richard_Laver
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Empty_set
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Dmitry_Mirimanoff
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/First-order_predicate_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Restriction_(mathematics)
wiki page uses template: Template:Harvnb
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Thoralf_Skolem
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Independence_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_union
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:Systems_of_set_theory
wiki page uses template: Template:Quote
wiki page uses template: Template:Em
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Generalized_continuum_hypothesis
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Circular_permutation
wiki page external link: http://matwbn.icm.edu.pl/ksiazki/fm/fm37/fm37110.pdf
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Robert_Solovay
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Function_(set_theory)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Complement_(set_theory)
title: von Neumann-Bernays-Gödel set theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_schema
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_limitation_of_size
wiki page uses template: Template:Nbhyph
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category_theory
wiki page uses template: Template:Endplainlist
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zermelo–Fraenkel_set_theory
wiki page uses template: Template:Spaces
wiki page uses template: Template:Math theorem
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Definable_set
wiki page uses template: Template:Google books
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Well-ordered
wiki page external link: http://gdz.sub.uni-goettingen.de/dms/load/img/%3FPPN=PPN243919689_0154&DMDID=DMDLOG_0025
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Elliott_Mendelson
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Inaccessible_cardinal
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:John_von_Neumann
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Kurt_Gödel
wiki page uses template: Template:Mathematical logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Tuple
wiki page external link: http://gdz.sub.uni-goettingen.de/dms/load/img/%3FPPN=PPN266833020_0027&DMDID=DMDLOG_0042
wiki page uses template: Template:PlanetMath reference
wiki page external link: http://gdz.sub.uni-goettingen.de/dms/load/img/%3FPPN=PPN243919689_0160&DMDID=DMDLOG_0019
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Principle_of_explosion
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Inductive_definition
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Forcing_(mathematics)
wiki page external link: https://archive.org/details/springer_10.1007-978-3-642-59309-3
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_infinity
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_recursion
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Conjunct_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Function_application
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Constructible_hierarchy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formal_systems
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cardinality
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category_of_all_sets
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category_of_all_small_categories
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Composite_function
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Membership_(set_theory)
math statement: Let be a formula that quantifies only over sets, contains no free variables other than , and may contain relations, special classes, and operations defined by formulas that quantify only over sets. Then for all there exists a unique class of
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Membership_relation
wiki page external link: http://katmat.math.uni-bremen.de/acc/
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Case_statement
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Logical_symbols
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Implications_of_the_axiom_of_limitation_of_size
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Induction_hypothesis
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Transitive_(set_theory)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Ordered_pair
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Model_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Intersection_(set_theory)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Contradiction
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Unary_relation
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_separation
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Equality_in_set_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formula_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:Works_by_Kurt_Gödel
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Absolute_infinite,_well-ordering_theorem,_and_paradoxes
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Logically_equivalent
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Structural_recursion
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Bound_variables