Liste der Axiome - List of axioms

Dies ist eine Liste von Axiomen, wie dieser Begriff in der Mathematik auf der Wikipedia-Seite verstanden wird. In der Erkenntnistheorie wird das Wort Axiom anders verstanden; siehe Axiom und Selbstbeweis . Einzelne Axiome sind fast immer Teil eines größeren axiomatischen Systems .

ZF (die Zermelo-Fraenkel-Axiome ohne das Axiom der Wahl)

Zusammen mit dem Axiom der Wahl (siehe unten) sind dies die De-facto- Standardaxiome für die zeitgenössische Mathematik oder Mengenlehre . Sie können leicht an analoge Theorien wie die Mereologie angepasst werden .

Siehe auch Zermelo-Mengenlehre .

Axiom der Wahl

Mit den obigen Zermelo-Fraenkel-Axiomen bildet dies das System ZFC, in dem der größte Teil der Mathematik möglicherweise formalisierbar ist.

Äquivalente von AC

Stärker als AC

Schwächer als AC

Alternativen nicht kompatibel mit AC

Andere Axiome der mathematischen Logik

Geometrie

Andere Axiome

Siehe auch