Math 2.0

Morse–Kelley set theory

This page lists the items of the Wikipedia article Morse–Kelley 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 1350303977, with the assessment Start/Mid.

OutcomeItems
deferred3
node1

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

ItemKindNameOutcomeNodesReason
subjectdefinitionMorse–Kelley set theorydeferred until 2027-05-01the item has the flag informal (WP9.2)
#7PI1statementThe axioms in Kelley's General Topologynode (adopted)The axioms in Kelley's General Topology
#UPBMdefinitionDefinitiondeferred until 2027-05-01the item has no name of its own, and the write role names it
#Z4HJstatementMK axioms and ontologydeferred until 2027-05-01the heading names more than one item

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