Math 2.0

Axiom of regularity

This page lists the items of the Wikipedia article Axiom of regularity 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 1375010889, with the assessment B/Low.

OutcomeItems
deferred4

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

ItemKindNameOutcomeNodesReason
subjectstatementAxiom of regularitydeferred until 2027-05-01the item has the flag informal (WP9.2)
#H9CGstatementRegularity and the rest of ZF(C) axiomsdeferred until 2027-05-01the heading names more than one item
#VWX9statementRegularity and Russell's paradoxdeferred until 2027-05-01the item has the flag citation-needed (WP9.2)
#W8WXstatementThe axiom of dependent choice and no infinite descending sequence of sets implies regularitydeferred until 2027-05-01the heading names more than one item

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