Axioms of set theory
Aucun articleAxiom of countable choiceAxiom of dependent choiceAxiom of global choiceAxiom of finite choiceWell ordering theoremZermelos well ordering theoremWell ordering principleTarskis theorem about choiceAxiom of infinityAxiom of power setAxiom of pairingAxiom of unionAxiom of empty setAxiom of extensionalityAxiom of regularityAxiom of foundationAxiom schema of separationAxiom schema of specificationAxiom schema of replacementAxiom of replacementAxiom of collectionAxiom of constructibilityAxiom of limitation of sizeAxiom of adjunctionAxiom of heredityExtensionalityDiaconescus theoremAxiom of countabilityAxiom schema of predicative separationAczels anti foundation axiomAdAxiom of determinacyAxiom of non choiceAxiom of real determinacyBaumgartners axiomElementary theory of the category of setsFreilings axiom of symmetryGround axiomMartins axiomMoschovakis coding lemmaOpen coloring axiomProjective determinacyProper forcing axiomWholeness axiom
Pas encore d'articles dans cette catégorie — ça arrive.