Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Fundierungsaxiom – Wikipedia Zum Inhalt springen

Fundierungsaxiom

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Regularitätsaxiom)

Das Fundierungsaxiom (auch: Regularitätsaxiom) ist ein Axiom der Mengenlehre von John von Neumann von 1925,<ref name="Neumann">John von Neumann: Eine Axiomatisierung der Mengenlehre. In: Journal für die reine und angewandte Mathematik. Bd. 154, 1925, S. 219–240, dort § 5 VI.4., S. 239, Göttinger Digitalisierungszentrum.</ref> die in der Neumann-Bernays-Gödel-Mengenlehre (NBG) aufging, und ein Axiom der verbreiteten Zermelo-Fraenkel-Mengenlehre (ZF) von 1930. Ernst Zermelo gab ihm den Namen und eine einfache Formulierung für einen Bereich von Mengen und Urelementen mit folgendem Wortlaut:

Jeder nichtleere Teilbereich <math>\,T</math> enthält wenigstens ein Element <math>\,t_0</math>, das kein Element <math>\,t </math> in <math>\,T</math> hat.<ref>Ernst Zermelo: Über Grenzzahlen und Mengenbereiche. In: Fundamenta Mathematicae. Bd. 16, 1930, S. 29–47, dort S. 31, Digitalisat (PDF; 1,5 MB).</ref>

Formalisiert lautet das Fundierungsaxiom für den Bereich <math>\,{B}</math> im Sinne der Klasse aller Mengen und Urelemente (Allklasse):

<math>\emptyset\neq T\subseteq {B} \implies \exists t_0\in T: \lnot \exist t \in T:t\in t_0</math>

In der reinen Mengenlehre, in der alle Variablen Mengen bezeichnen, gibt es kürzere Formulierungen des Fundierungsaxioms, bei denen <math>\,{B}</math> aus der Formel eliminiert wird, zum Beispiel folgende Fassung:<ref>Arnold Oberschelp: Allgemeine Mengenlehre. BI-Wissenschafts-Verlag, Mannheim u. a. 1994, ISBN 3-411-17271-1, S. 261.</ref>

<math>\forall T: (T\neq \emptyset \implies \exists x\in T: (x\cap T)=\emptyset )</math>

Das hier existierende Element <math>x\in T</math> nennt man auch ∈-minimales Element von <math>T</math>, da es kein Element <math>y\in x</math> mit <math>y\in T</math> gibt. Das Fundierungsaxiom sichert also die Existenz eines ∈-minimalen Elements jeder nichtleeren Menge.

Zulässige Folgerungen

Das Fundierungsaxiom verhindert zyklische Elementketten: <math>x_1\in x_2 \in \cdots \in x_n\in x_1</math>. Die Menge <math>\{x_1,x_2,\dots, x_n\}</math>, deren Existenz mit Hilfe des Paarmengen- und des Vereinigungsaxioms gesichert ist, widerspräche dann nämlich dem Fundierungsaxiom, sie hätte kein ∈-minimales Element. Es gibt somit auch keine Menge, die sich selbst als Elemente enthält (<math>\forall x: x\notin x</math>). Des Weiteren verhindert das Fundierungsaxiom die Existenz einer auf <math>\omega</math> definierten Funktion <math>f</math> (aufgefasst als Menge) mit <math>f(n+1)\in f(n)</math> für alle <math>n\in\omega</math>, da das Bild dieser Funktion, welches aufgrund des Ersetzungsschemas als Menge existiert, kein ∈-minimales Element besäße. Man beachte jedoch, dass sich aus der Formelmenge <math>\mathrm{ZFC} \cup \left\{ x_{n+1} \in x_n \mid n\in\N \right\}</math> kein Widerspruch ableiten lässt, vorausgesetzt, dass ZFC widerspruchsfrei ist, denn bei einem solchen Widerspruchsbeweis könnten nur endlich viele Formeln benutzt werden, was offensichtlich zu keinem Widerspruch führen würde. Oder anders ausgedrückt: Aufgrund des Kompaktheitssatzes gibt es, falls es Modelle von ZFC gibt, auch Modelle, die nicht bezüglich der Elementrelation ∈ fundiert sind. Betrachtet man ein Modell der oben konstruierten Formelmenge, so kann es in diesem Modell keine Menge geben, die genau die <math>x_n</math> als Element enthält. Diese Menge würde nämlich dem Fundierungsaxiom widersprechen (sie besäße kein ∈-minimales Element).

Mengenlehren ohne Fundierungsaxiom

Es gibt auch Mengenlehren ohne Fundierungsaxiom. Dazu gehört die ursprüngliche Zermelo-Mengenlehre, in der Zermelo ausdrücklich zirkelhafte (oder zirkuläre) Mengen (mit zyklischen Elementketten, etwa mit <math>x \in x</math>) einkalkulierte,<ref>Ernst Zermelo: Untersuchungen über die Grundlagen der Mengenlehre. I. In: Mathematische Annalen. Bd. 65, 1908, S. 261–281, dort S. 265.</ref> oder die Ackermann-Mengenlehre. Bei beiden kann aber das Fundierungsaxiom hinzugefügt werden, ohne einen (vorher noch nicht vorhandenen) Widerspruch zu erzeugen. Zu nennen ist auch die Mengenlehre von Quine, der Individuen-Mengen <math>\,x</math> durch <math>\,\{x\}= x</math> definierte, so dass diese zirkelhaft sind und das Fundierungsaxiom definitiv nicht gilt.<ref>Willard van Orman Quine: Mengenlehre und ihre Logik (= Logik und Grundlagen der Mathematik. Bd. 10). Vieweg, Braunschweig 1973, ISBN 3-528-08294-1, S. 24.</ref> In solchen Mengenlehren ohne Fundierungsaxiom sind zirkelhafte Mengen möglich, was zeigt, dass diese nicht unbedingt einen Widerspruch erzeugen. Die Bildung gewisser zirkelhafter Mengen wie der Allmenge oder der Menge der Ordinalzahlen, die in der naiven Mengenlehre Widersprüche erzeugen, ist schon in der Zermelo-Mengenlehre ohne Fundierungsaxiom ausgeschlossen. Allgemein kann das Hinzufügen eines Axioms keine Widersprüche verhindern, die es ohne das Axiom gegeben hätte, da das Hinzufügen eines Axioms die Menge der beweisbaren Sätze nur vergrößern, nicht aber verkleinern kann.

Das Fundierungsaxiom impliziert zusammen mit einigen anderen ZF-Axiomen mit Mitteln intuitionistischer Logik <math>\phi \lor \lnot \phi</math> für jede Formel <math>\phi</math>: Seien nämlich <math>y,z</math> Mengen mit <math>y \in z</math> (zum Beispiel <math>\emptyset, \{\emptyset\}</math>) und <math>T := \{x \in \{y,z\}\mid \phi \lor x = z\}</math>, dann hat <math>T</math> ein Element, nämlich <math>z</math>, und damit nach dem Fundierungsaxiom auch ein Element <math>x \in T</math> mit <math>x \cap T = \emptyset</math>. Aus <math>x = z</math> folgt <math>\lnot \phi</math>, da unter der Annahme von <math>\phi</math> die Menge <math>y</math> in <math>T</math> wie auch in <math>x</math> liegt, was <math>x \cap T = \emptyset</math> widerspricht. Insgesamt folgt aus <math>x \in T</math> also <math>\phi \lor \lnot \phi</math>.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Set-theoretic principles incompatible with intuitionistic logic|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Set-theoretic principles incompatible with intuitionistic logic}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Set-theoretic principles incompatible with intuitionistic logic}}}}|[{{#invoke:URLutil|getNormalized|1=https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Set-theoretic principles incompatible with intuitionistic logic}}}}]}}{{#if:| ({{{format}}}{{#if:{{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}}%7C%7C}}}}{{#if:Set-theoretic principles incompatible with intuitionistic logic|{{#if:{{#invoke:WLink|isValidLinktext|1=Set-theoretic principles incompatible with intuitionistic logic|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:1216757||(?)}}}}}}{{#if: 2022-11-20|;}}}}{{#if: 2022-11-20| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2022-11-20 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2022-11-20|class=Zitationswartung}} }} {{#invoke:DateTime|format|2022-11-20|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:{{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2022-11-20 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
      | {{#if:{{#invoke:URLutil|isWebURL|https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
       | {{#if:{{#invoke:URLutil|isWebURL|https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Aus diesem Grund wird in konstruktiven Varianten von ZF, wie etwa IZF und CZF, auf das Fundierungsaxiom in seiner üblichen Formulierung verzichtet und stattdessen etwa axiomatisch gefordert, dass Epsilon-Induktion erlaubt ist, wodurch zirkelhafte Mengen ebenfalls ausgeschlossen werden.

Vorgeschichte

Die Idee, ∈-fundierte Mengen als normale Mengen zu betrachten, geht auf Dmitry Mirimanoff zurück, der 1916 die in der ursprünglichen Zermelo-Mengenlehre erlaubten zirkulären Mengen als extraordinär bezeichnete.<ref>D. Mirimanoff: Les antinomies de Russell et de Burali-Forti et le problème fondamental de le théorie des ensembles. (1916). In: L'Enseignement Mathématique. Bd. 19, 1917, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0013-8584|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0013-8584}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 37–52, Digitalisat.</ref> Diese extraordinären Mengen wollte Abraham Fraenkel 1921 aus der Mengenlehre ausscheiden durch ein Beschränktheitsaxiom, „das dem Mengenbereich den geringsten mit den übrigen Axiomen verträglichen Umfang auferlegt“.<ref>Abraham Fraenkel: Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. (1921). In: Mathematische Annalen. Bd. 86, 1922, S. 230–237, dort S. 233.</ref> Sein Beschränktheitsaxiom ist aber nicht in der Sprache der Mengenlehre formulierbar. Die erste korrekte Formel, die den Ausschluss extraordinärer Mengen erreichte, gab Neumann 1925 in seinem Beschränktheitsaxiom an,<ref name="Neumann" /> das aber komplizierter ist als das verbreitete Fundierungsaxiom von Zermelo.

Einzelnachweise

<references/>

{{safesubst:#ifeq:0|10| {{#switch: Fundierungsaxiom |Navigationsleiste|NaviBlock|0=|#default= Vorlage:Templatetransclusioncheck Vorlage:Dokumentation/ruler }}}}Vorlage:Klappleiste/Anfang {{#if:

|

Axiome: Extensionalitätsaxiom | Fundierungsaxiom | Leermengenaxiom | Paarmengenaxiom | Vereinigungsaxiom | Potenzmengenaxiom | Unendlichkeitsaxiom | Auswahlaxiom

Axiomenschemata: Aussonderungsaxiom | Ersetzungsaxiom 

 |

Axiome: Extensionalitätsaxiom | Fundierungsaxiom | Leermengenaxiom | Paarmengenaxiom | Vereinigungsaxiom | Potenzmengenaxiom | Unendlichkeitsaxiom | Auswahlaxiom

Axiomenschemata: Aussonderungsaxiom | Ersetzungsaxiom }} Vorlage:Klappleiste/Ende

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Fundierungsaxiom&oldid=1216757“