Zermelo–Fraenkel set theory
This page lists the items of the Wikipedia article Zermelo–Fraenkel 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 1363858445, with the assessment C/High.
| Outcome | Items |
|---|---|
| deferred | 11 |
| node | 1 |
The gap signals of the article are S1,S2,S4,S5,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | Zermelo–Fraenkel set theory | node | Zermelo–Fraenkel set theory | a node has the same Wikidata item as the row |
| #5989 | statement | Axiom of power set - 8 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #6IEV | unknown | Consistency of ZFC | deferred until 2027-05-01 | the kind of the item is unknown | |
| #9WXK | statement | Axiom schema of specification (or of separation, or of restricted comprehension) - 3 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #AA2M | statement | Axiom of union - 5 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #DQUM | statement | Axiom of regularity (also called the axiom of foundation) - 2 | deferred until 2027-05-01 | the item has the flag citation-needed (WP9.2) | |
| #HKAK | statement | Axiom of infinity - 7 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #OA0B | statement | Axioms | deferred until 2027-05-01 | the item has the flag citation-needed (WP9.2) | |
| #P7Q2 | statement | Axiom of well-ordering (choice) - 9 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #QWOI | statement | Axiom of extensionality - 1 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #S438 | statement | Axiom schema of replacement - 6 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name | |
| #U5A8 | statement | Axiom of pairing - 4 | deferred until 2027-05-01 | the name has a number of its article, and a person gives the name |
Refer to Wikipedia articles and their nodes for the other articles.