12 Beziehungen: Ackermann-Mengenlehre, Aussonderungsaxiom, Axiomensystem, Ersetzungsaxiom, Interne Mengenlehre, Peano-Arithmetik, Peano-Axiome, Presburger-Arithmetik, Reflexionsprinzip (Mengenlehre), Robinson-Arithmetik, Tarski-Grothendieck-Mengenlehre, Zermelo-Fraenkel-Mengenlehre.
Ackermann-Mengenlehre
Die Ackermann-Mengenlehre ist eine axiomatische Mengenlehre, die 1955 von Wilhelm Ackermann angegeben wurde.
Neu!!: Axiomenschema und Ackermann-Mengenlehre · Mehr sehen »
Aussonderungsaxiom
Das Aussonderungsaxiom stammt aus der Zermelo-Mengenlehre von 1907Ernst Zermelo: Untersuchungen über die Grundlagen der Mengenlehre, 1907, in:, dort Axiom III S. 263f.
Neu!!: Axiomenschema und Aussonderungsaxiom · Mehr sehen »
Axiomensystem
Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) einer Theorie logisch abgeleitet werden.
Neu!!: Axiomenschema und Axiomensystem · Mehr sehen »
Ersetzungsaxiom
Das Ersetzungsaxiom ist ein Axiom, das Abraham Fraenkel 1921 als Ergänzung zur Zermelo-Mengenlehre von 1907 vorschlug und später ein fester Bestandteil der Zermelo-Fraenkel-Mengenlehre (ZF) wurde.
Neu!!: Axiomenschema und Ersetzungsaxiom · Mehr sehen »
Interne Mengenlehre
Die interne Mengenlehre (engl. Internal Set Theory (IST)) ist eine syntaktische Version der Nichtstandard-Analysis, die 1977 von Edward Nelson eingeführt wurde.
Neu!!: Axiomenschema und Interne Mengenlehre · Mehr sehen »
Peano-Arithmetik
Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe.
Neu!!: Axiomenschema und Peano-Arithmetik · Mehr sehen »
Peano-Axiome
Die Peano-Axiome (auch Dedekind-Peano-Axiome oder Peano-Postulate) sind fünf Axiome, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren.
Neu!!: Axiomenschema und Peano-Axiome · Mehr sehen »
Presburger-Arithmetik
Die Presburger-Arithmetik ist eine in der Prädikatenlogik erster Stufe formulierte mathematische Theorie der natürlichen Zahlen mit Addition.
Neu!!: Axiomenschema und Presburger-Arithmetik · Mehr sehen »
Reflexionsprinzip (Mengenlehre)
Das Reflexionsprinzip ist ein mathematischer Satz aus dem Gebiet der Mengenlehre.
Neu!!: Axiomenschema und Reflexionsprinzip (Mengenlehre) · Mehr sehen »
Robinson-Arithmetik
Die Robinson-Arithmetik (auch: Q) ist ein endlich axiomatisiertes Fragment der Peano-Arithmetik, eines Axiomensystems der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe.
Neu!!: Axiomenschema und Robinson-Arithmetik · Mehr sehen »
Tarski-Grothendieck-Mengenlehre
Die Tarski-Grothendieck-Mengenlehre (TG) ist ein Axiomensystem zur mengentheoretischen Grundlegung der Mathematik.
Neu!!: Axiomenschema und Tarski-Grothendieck-Mengenlehre · Mehr sehen »
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
Neu!!: Axiomenschema und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »