Math 2.0

Axiom of dependent choice

This page lists the items of the Wikipedia article Axiom of dependent choice 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 1375599793, with the assessment Start/Mid.

OutcomeItems
deferred4

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

ItemKindNameOutcomeNodesReason
subjectstatementAxiom of dependent choicedeferred until 2027-05-01node TPXEFSBQYB has the same name, and a person decides if they are one item
#1DHJstatementRelation with other axiomsdeferred until 2027-05-01the heading names a group of items
#BBF7exampleUsedeferred until 2027-05-01the cue heading names a section and not one item
#JLCGstatementFormal statementdeferred until 2027-05-01the cue heading names a section and not one item

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