Math 2.0

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.

OutcomeItems
deferred11
node1

The gap signals of the article are S1,S2,S4,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjectdefinitionZermelo–Fraenkel set theorynodeZermelo–Fraenkel set theorya node has the same Wikidata item as the row
#5989statementAxiom of power set - 8deferred until 2027-05-01the name has a number of its article, and a person gives the name
#6IEVunknownConsistency of ZFCdeferred until 2027-05-01the kind of the item is unknown
#9WXKstatementAxiom schema of specification (or of separation, or of restricted comprehension) - 3deferred until 2027-05-01the name has a number of its article, and a person gives the name
#AA2MstatementAxiom of union - 5deferred until 2027-05-01the name has a number of its article, and a person gives the name
#DQUMstatementAxiom of regularity (also called the axiom of foundation) - 2deferred until 2027-05-01the item has the flag citation-needed (WP9.2)
#HKAKstatementAxiom of infinity - 7deferred until 2027-05-01the name has a number of its article, and a person gives the name
#OA0BstatementAxiomsdeferred until 2027-05-01the item has the flag citation-needed (WP9.2)
#P7Q2statementAxiom of well-ordering (choice) - 9deferred until 2027-05-01the name has a number of its article, and a person gives the name
#QWOIstatementAxiom of extensionality - 1deferred until 2027-05-01the name has a number of its article, and a person gives the name
#S438statementAxiom schema of replacement - 6deferred until 2027-05-01the name has a number of its article, and a person gives the name
#U5A8statementAxiom of pairing - 4deferred until 2027-05-01the name has a number of its article, and a person gives the name

Refer to Wikipedia articles and their nodes for the other articles.