List of axioms
This page lists the items of the Wikipedia article List of axioms 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 1262329974, with the assessment List/Mid.
| Outcome | Items |
|---|---|
| deferred | 46 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of axioms | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #18SZ | statement | Axiom schema of specification | deferred until 2027-05-01 | the item has its own article, page 52386 | |
| #1I1X | statement | Zorn's lemma | deferred until 2027-05-01 | the item has its own article, page 51442 | |
| #30QL | statement | Axiom of global choice | deferred until 2027-05-01 | the item has its own article, page 5322320 | |
| #5L39 | definition | Haag–Kastler axioms | deferred until 2027-05-01 | the item has its own article, page 346489 | |
| #6JGT | statement | Axiom of infinity | deferred until 2027-05-01 | the item has its own article, page 246449 | |
| #6TW4 | statement | Martin's axiom | deferred until 2027-05-01 | the item has its own article, page 1550783 | |
| #76Q2 | statement | Well-ordering theorem | deferred until 2027-05-01 | the item has its own article, page 33458 | |
| #7C4O | unknown | Action axiom | deferred until 2027-05-01 | the kind of the item is unknown | |
| #7G5D | statement | Axiom of pairing | deferred until 2027-05-01 | the item has its own article, page 52385 | |
| #91HE | definition | Von Neumann–Bernays–Gödel axioms | deferred until 2027-05-01 | the item has its own article, page 528491 | |
| #9QCH | statement | Probability axioms | deferred until 2027-05-01 | the item has its own article, page 23539 | |
| #A2Y5 | statement | Axiom of union | deferred until 2027-05-01 | the item has its own article, page 52553 | |
| #AZDF | statement | Axiom of extensionality | deferred until 2027-05-01 | the item has its own article, page 52376 | |
| #B0M3 | definition | Axiom of projective determinacy | deferred until 2027-05-01 | the item has its own article, page 1236592 | |
| #BMAY | statement | Wightman axioms | deferred until 2027-05-01 | the item has its own article, page 293622 | |
| #BV0A | statement | Axiom of regularity | deferred until 2027-05-01 | the item has its own article, page 2113 | |
| #CRJB | statement | Dirac–von Neumann axioms | deferred until 2027-05-01 | the item has its own article, page 39062473 | |
| #D629 | statement | Hilbert's axioms | deferred until 2027-05-01 | the item has its own article, page 838151 | |
| #ELD7 | statement | Peano's axioms | deferred until 2027-05-01 | the item has its own article, page 25005 | |
| #F196 | statement | Birkhoff's axioms | deferred until 2027-05-01 | the item has its own article, page 828320 | |
| #F9YY | statement | Diamond principle | deferred until 2027-05-01 | the item has its own article, page 691736 | |
| #FUEB | statement | Tarski's axioms | deferred until 2027-05-01 | the item has its own article, page 2181360 | |
| #G0MV | statement | Axiom of countable choice | deferred until 2027-05-01 | the item has its own article, page 421086 | |
| #G53M | statement | Axiom of empty set | deferred until 2027-05-01 | the item has its own article, page 52534 | |
| #GLDE | definition | Axiom of Archimedes | deferred until 2027-05-01 | the item has its own article, page 264158 | |
| #HCX8 | statement | Continuum hypothesis | deferred until 2027-05-01 | the item has its own article, page 5705 | |
| #HWCZ | statement | Axiom of constructibility | deferred until 2027-05-01 | the item has its own article, page 696472 | |
| #I5DG | statement | Gluing axiom | deferred until 2027-05-01 | the item has its own article, page 1204294 | |
| #I6CA | definition | Parallel postulate | deferred until 2027-05-01 | the item has its own article, page 33731493 | |
| #J66M | statement | Hausdorff maximality theorem | deferred until 2027-05-01 | the item has its own article, page 13665 | |
| #JWDJ | statement | Axiom of dependent choice | deferred until 2027-05-01 | the item has its own article, page 441950 | |
| #K0BP | definition | Fundamental axiom of analysis | deferred until 2027-05-01 | the item has its own article, page 29322627 | |
| #KQ45 | statement | Boolean prime ideal theorem | deferred until 2027-05-01 | the item has its own article, page 314919 | |
| #L1JH | statement | Axiom of countability | deferred until 2027-05-01 | the item has its own article, page 346611 | |
| #LCFA | definition | Rank-into-rank | deferred until 2027-05-01 | the item has its own article, page 311017 | |
| #MBS2 | statement | Axiom schema of replacement | deferred until 2027-05-01 | the item has its own article, page 52387 | |
| #MH1R | definition | Kripke–Platek axioms | deferred until 2027-05-01 | the item has its own article, page 1124695 | |
| #MIPW | definition | Axiom of uniformization | deferred until 2027-05-01 | the item has its own article, page 2148548 | |
| #PCKR | statement | Axiom of real determinacy | deferred until 2027-05-01 | the item has its own article, page 1121647 | |
| #PGAW | statement | Freiling's axiom of symmetry | deferred until 2027-05-01 | the item has its own article, page 162267 | |
| #PU3E | statement | Huzita's axioms | deferred until 2027-05-01 | the item has its own article, page 232844 | |
| #QGBH | statement | Axiom of determinacy | deferred until 2027-05-01 | the item has its own article, page 1002300 | |
| #UBIE | statement | Axiom of power set | deferred until 2027-05-01 | the item has its own article, page 52552 | |
| #V6TF | statement | Kuratowski closure axioms | deferred until 2027-05-01 | the item has its own article, page 331597 | |
| #YVLN | statement | Separation axiom | deferred until 2027-05-01 | the item has its own article, page 40117302 |
Refer to Wikipedia articles and their nodes for the other articles.