Liste des axiomes - List of axioms

Voici une liste d' axiomes tels que ce terme est compris en mathématiques , par page Wikipédia. En épistémologie , le mot axiome est compris différemment; voir axiome et auto-évidence . Les axiomes individuels font presque toujours partie d'un système axiomatique plus large .

ZF (les axiomes de Zermelo-Fraenkel sans l'axiome du choix)

Avec l'axiome du choix (voir ci-dessous), ce sont les axiomes standard de facto pour les mathématiques contemporaines ou la théorie des ensembles . Ils peuvent être facilement adaptés à des théories analogues, telles que la méréologie .

Voir aussi la théorie des ensembles de Zermelo .

Axiome de choix

Avec les axiomes de Zermelo – Fraenkel ci-dessus, cela constitue le système ZFC dans lequel la plupart des mathématiques sont potentiellement formalisables.

Equivalents de AC

Plus fort que AC

Plus faible que AC

Alternes incompatibles avec AC

Autres axiomes de la logique mathématique

Géométrie

Autres axiomes

Voir également