Math 2.0

Internal set theory

This page lists the items of the Wikipedia article Internal 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 1331670145, with the assessment Start/Low.

OutcomeItems
deferred3
node1

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

ItemKindNameOutcomeNodesReason
subjectdefinitionInternal set theorydeferred until 2027-05-01the item has the flag informal (WP9.2)
#CF73statementFormal justification for the axiomsdeferred until 2027-05-01the heading names a group of items
#KHP8statementFormal axiomsdeferred until 2027-05-01the heading names a group of items
#RQV8statementPrinciples of the standard predicatenode (adopted)Principles of the standard predicate

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