Von Neumann–Bernays–Gödel set theory
This page lists the items of the Wikipedia article Von Neumann–Bernays–Gödel set theory in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1330985339, with the assessment C/Mid.
| Outcome | Items |
|---|---|
| deferred | 17 |
| node | 10 |
| attached | 4 |
The gap signals of the article are S1,S4,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | Von Neumann–Bernays–Gödel set theory | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #1626 | proof | attached | |||
| #2D64 | statement | Class existence theorem (extended version) | node (adopted) | Class existence theorem (extended version) | |
| #3KAG | statement | Class existence theorem | node (adopted) | Class existence theorem | |
| #3WKJ | statement | Axiom of union | deferred until 2027-05-01 | the item has its own article, page 52553 | |
| #4VYW | statement | Axiom of global choice | deferred until 2027-05-01 | the item has its own article, page 5322320 | |
| #5IPW | statement | Bernays' axiom system | node (adopted) | Bernays' axiom system | |
| #7UNP | statement | Set axioms | deferred until 2027-05-01 | the heading names a group of items | |
| #8B3P | statement | Von Neumann's 1929 axiom system | node (adopted) | Von Neumann's 1929 axiom system | |
| #B269 | proof | attached | |||
| #C6WF | statement | Class existence theorem | node (adopted) | Class existence theorem | |
| #F1WR | statement | Theorem (NBG's axiom of separation) | deferred until 2027-05-01 | the name is a kind of item and its source, and not the name of the item | |
| #FPE8 | statement | Axiom schema versus class existence theorem | node (adopted) | Axiom schema versus class existence theorem | |
| #IP8P | statement | Axiom of power set | deferred until 2027-05-01 | the item has its own article, page 52552 | |
| #IPWT | definition | Definition | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #JAUI | statement | Definitions and axioms of extensionality and pairing | deferred until 2027-05-01 | the heading names a part of the text and not one item | |
| #JJIC | proof | attached | |||
| #K1LP | statement | Axiom of global choice | deferred until 2027-05-01 | the item has its own article, page 5322320 | |
| #KXUY | proof | node (adopted) | Proof of Class existence theorem (extended version) | ||
| #M8BC | statement | Gödel's axiom system (NBG) | node (adopted) | Gödel's axiom system (NBG) | |
| #MH1K | statement | Expansion lemma | deferred until 2027-05-01 | the heading has a meaning only in its article | |
| #MUJJ | proof | Proof of the class existence theorem for transformed formulas | attached | ||
| #P367 | statement | Axiom of extensionality | deferred until 2027-05-01 | the item has its own article, page 52376 | |
| #QLAT | statement | Von Neumann's 1925 axiom system | node (adopted) | Von Neumann's 1925 axiom system | |
| #RVCC | statement | Class existence axioms and axiom of regularity | deferred until 2027-05-01 | the heading names more than one item | |
| #S89M | statement | Extending the class existence theorem | deferred until 2027-05-01 | the heading names a step or a part of the text and not one item | |
| #SNV3 | proof | Proof of the class existence theorem | node (adopted) | Proof of Class existence theorem | |
| #TVV0 | statement | Axiom of pairing | deferred until 2027-05-01 | the item has its own article, page 52385 | |
| #VODG | statement | Tuple lemma | deferred until 2027-05-01 | the heading has a meaning only in its article | |
| #YBF7 | statement | Class existence theorem for transformed formulas | deferred until 2027-05-01 | the heading names a group of items | |
| #ZP9Q | statement | Theorem | deferred until 2027-05-01 | the item has no name of its own, and the write role names it |
Refer to Wikipedia articles and their nodes for the other articles.