Definition
In mathematics and logic, Ackermann set theory is an axiomatic set theory proposed by Wilhelm Ackermann in 1956.
Related concepts
Abraham FraenkelAckermann (disambiguation)Akihiro KanamoriAxiom of extensionalityAxiom of regularityAxiom schemaAzriel LevyAzriel LévyBinary relationCategory theoryClass (set theory)Conservative extensionConsistencyConstant (mathematics)EquiconsistencyFirst-order logicFormal languageFoundations of mathematicsFree variableIf and only ifInterpretabilityList of alternative set theoriesLogicMathematicsMorse–Kelley set theoryPower setQuantifier (logic)Reflection principleSet membershipSet theoryVon Neumann universeVon Neumann–Bernays–Gödel set theoryWilhelm AckermannYehoshua Bar-HillelZermelo set theoryZermelo–Fraenkel set theory
16 concepts already in your glossary